I elaborate on this more in this blog post where I explain why consistency and predictability are signs of bad engineering, but the basic idea is: - repeating yourself is bad - boilerplate is bad haskellforall.com/2024/07/soft...

Show Post

📺 There's never been a better time to go into math, by 3Blue1Brown youtu.be/LKrwhjOI8Nc

Show Post

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

Show Post

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

Show Post

When we think of elegance in code, I think this snippet satisfies that property. The context is an OCaml program processing C function calls. It could dual as a category theory example & comes from "Declarative foreign function binding through generic programming" by Yallop, Sheets, & Madhavapeddy

Show Post