Riot is dead, long live Riot!
A look back at Riot's OCaml actor runtime, the scheduler and I/O challenges it faced, and what comes next.
type systems
Type-safe state machines using type-state
Use type-state in OCaml to make invalid state-machine transitions impossible while keeping the API approachable.
A quick guide to GADTs and why you ain't gonna need them
An OCaml validation example shows when GADTs help, when they add complexity, and why simpler types often suffice.
Exploring domains in OCaml is cheaper and faster
Model a web router with OCaml types to explore a domain, challenge assumptions, and refine the design quickly.
Making the ReScript type system work for you (Part II)
Build on ReScript's type-checking rules to understand how the compiler types functions and compound expressions.
Making the ReScript type system work for you (Part I)
A practical introduction to how ReScript infers types for variables and uses the environment to check code.
An Imaginary Compiler
A short story about a programmer who learns to carry a critical, constructive compiler into every code review.
Why Typing Erlang is Hard
An attempt to type Erlang exposes the challenges of unions, records, receive expressions, and dynamic dispatch on the BEAM.