Dissecting Andreas Rossberg's 1ML: introduction
1ML is a much-discussed type system — how does it work?
Blog of Christine @pithlessly
Latest posts
Newtypes vs. abstract types, and the limitations of type inference
Abstract types in OCaml and a small flaw in the type checker.
Notes on combinatorial species (Méndez 2015)
What is a combinatorial species, and how can you do algebra on them?
The comptime calculus
A sketch of a formalization of Zig's comptime type system.
Issues with instance Ord (STRef s a)
Why can't Haskell's STRefs be ordered?