https://pithlessly.github.io/ Blog of Christine @pithlessly 2026-05-26T17:35:18+02:00 https://pithlessly.github.io/favicon.png Christine @pithlessly https://pithlessly.github.io/ https://pithlessly.github.io/1ml-intro Dissecting Andreas Rossberg's 1ML: introduction 2025-12-25T17:28:09-08:00 1ML is a much-discussed type system — how does it work? https://pithlessly.github.io/ocaml-type-injectivity Newtypes vs. abstract types, and the limitations of type inference 2025-11-09T18:59:41-08:00 Abstract types in OCaml and a small flaw in the type checker. https://pithlessly.github.io/species Notes on combinatorial species (Méndez 2015) 2025-06-08T20:49:48-07:00 What is a combinatorial species, and how can you do algebra on them? https://pithlessly.github.io/comptime-calculus The comptime calculus 2025-06-03T10:24:43-07:00 A sketch of a formalization of Zig's comptime type system. https://pithlessly.github.io/ord-stref.html Issues with instance Ord (STRef s a) 2025-02-13T00:06:48-08:00 Why can't Haskell's STRefs be ordered?