opale !!

n1ark.acouphene.net

16 October 2026 10:23

i do ocaml it's compact tbh it's probs a third of what it would be in rust

tarides.com

16 October 2026 10:23

Your editor can still tell you useful things about code that doesn't compile yet. That's Typing Recovery. It used to live in Merlin's patched copy of the OCaml front end, and it now lives in OCaml itself. tarides.com/blog/2026-10...

xvw

xvw.lol

16 October 2026 10:23

My work over the last few months :) #OCaml #IDE #typing

Aiono

aiono.mastodon.social.ap.brid.gy

16 October 2026 10:23

https://www.youtube.com/watch?v=ekbLoe24iXg It was a very interesting talk. They implemented a formally verified GC for OCaml in F*, and it's performance-wise competitive with the GC using similar techniques. And they say they even know how to extend it to a generational GC, though they aren't […]

JaggerJo

jaggerjo.bsky.social

11 October 2026 20:59

If you ever wondered how #fsharp would feel like with #ocaml style polymorphic variants .... you can play around with a modified compiler in this dev container. Have fun 😉 github.com/JaggerJo/fsh...