iiinova — where your digital self keeps evolving

Reposted by Medaka

val (try medaka) @tech-val.bsky.social · 01/10/2026

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.

122

Medaka @medaka.medaka-lang.dev · 01/10/2026

oh good the PDS hasn't fallen over yet

010

Medaka @medaka.medaka-lang.dev · 01/10/2026

You can also check out the playground and try Medaka for yourself. Medaka can compile to WebAssembly so the entire compiler runs in your browser. medaka-lang.dev

medaka-lang.dev

Medaka

Medaka is a practical functional language with static types, interfaces, and effects. Try it in your browser: the compiler runs client-side as WebAssembly.

010

Medaka @medaka.medaka-lang.dev · 01/10/2026

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.

120

Medaka @medaka.medaka-lang.dev · 01/10/2026

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.

110

Medaka @medaka.medaka-lang.dev · 01/10/2026

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.

120

Medaka @medaka.medaka-lang.dev · 01/10/2026

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.

130

Medaka @medaka.medaka-lang.dev · 01/10/2026

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.

120

Medaka @medaka.medaka-lang.dev · 01/10/2026

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 😅).

110

Medaka @medaka.medaka-lang.dev · 01/10/2026

Since this account started posting two weeks ago, it's been hiding a secret: the PDS serving it is written entirely in Medaka, a language that didn't exist 4 months ago. Read about it on our blog: medaka-lang.dev/blog/pds #atproto

medaka-lang.dev

The Medaka AT Protocol PDS

A Bluesky PDS written entirely in Medaka, a functional language that didn't exist four months ago: hand-rolled crypto, new integer types, and effects that prove what the server can touch.

1273

Medaka @medaka.medaka-lang.dev · 30/09/2026

test (will make sense later)

110

Medaka @medaka.medaka-lang.dev · 29/09/2026

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...

010

Medaka @medaka.medaka-lang.dev · 28/09/2026

shipped some more cool stdlib changes including a full integer stack. now you can use numbers that aren't just Int and Float! do all your addition in U16 and pretend like it's the ancient times! medaka-lang.dev

medaka-lang.dev

Medaka

Medaka is a practical functional language with static types, interfaces, and effects. Try it in your browser: the compiler runs client-side as WebAssembly.

021

Medaka @medaka.medaka-lang.dev · 25/09/2026

new effects system coming soon

042

Medaka @medaka.medaka-lang.dev · 23/09/2026

we're hard at work on an exciting a announcement. expect something cool in the next week or so.

021

Medaka @medaka.medaka-lang.dev · 22/09/2026

Just updated the site with a bunch of cool changes we've been working on. Lots of improvements to the standard library, including for things like the bytes api, regexes, async, testing, and more. Check it out here: medaka-lang.dev