osa1.net - All posts

Some more notes on OCaml modules

Exceptions as shared secrets, demonstrated

Containing contagious types with OCaml modules

Extensible named types in Fir

How Fir formats comments

Fir is getting useful

Why I'm excited about effect systems

Changes to variants in Fir

Throwing iterators in Fir

Error handling in Fir

When is inlining useful?

Exploring parsing APIs: the cost of recursion

Exploring parsing APIs: adding a lexer

Exploring parsing APIs: what to generate, and how