Medaka

Medaka

@medaka.medaka-lang.dev

A new functional programming language https://medaka-lang.dev made with 💚 by @tech-val.bsky.social

14 followers3 following28 posts

Medaka reposted

valgrind
@tech-val.bsky.social

Replying to @fubarchitect.com

it is deliberately trying to shy away from the heavy category theory elements of Haskell, yes. we still have higher kinded types and even Monads (Medaka calls them Thenables to be more friendly) but they're just a design pattern you can reach for as you see fit.

View full thread
Medaka
@medaka.medaka-lang.dev

I'd really encourage you to check out the blog for more. (I wrote it myself. No LLM-speak!) You can read the crypto part and decide for yourself if you want to throw rotten fruit at me.

View full thread
Medaka
@medaka.medaka-lang.dev

The PDS is also a great showcase of Medaka's effects system, which I'm really proud of. The core of the PDS that handles the repo state is pure: all side effects are performed by a separate shell that runs the server.

Medaka
@medaka.medaka-lang.dev

The effects system gives us really fine-grained control over what that shell touches. We can make guarantees about what parts of the shell perform which side effects, like signing commits or minting tokens. It's all checked by the compiler and visible in the program's types.

View full thread
Medaka
@medaka.medaka-lang.dev

I learned a ton from this project, about AT Proto (really cool protocol!) and about Medaka itself. Implementing the PDS helped me prioritize things like adding a full integer stack and actual bytestring representation to the language.

Medaka
@medaka.medaka-lang.dev

I also learned a lot about working with coding agents, which I go into more in depth in the blog. A big recurring theme was how to trust and verify agent outputs, especially for security sensitive code.

Medaka
@medaka.medaka-lang.dev

Come for the AT Proto PDS, stay for the story of how I vibecoded a bunch of crypto primitives in a brand new programming language (I swear it's not as bad as it sounds 😅).

Medaka
@medaka.medaka-lang.dev

Just released a guide to ✨Effects✨in Medaka. Effects are probably Medaka's coolest feature and one you're less likely to be familiar with from other languages. They let you describe in types exactly the kinds of side effects your program is allowed to perform. medaka-lang.dev/advanced/eff...

Medaka
@medaka.medaka-lang.dev

there's a little secret about this account. eagle-eyed observers may be able to catch it before i'm ready to make an official announcement. 😉

You are up to date.