25 Feb Mapping Every Key, Part 3 A Haskell implementation of generic, lazily-generated tries 25 Feb 2026 14 min read
18 Feb Mapping Every Key, Part 2 Deriving a general implementation of tries from a specification 18 Feb 2026 20 min read
16 Feb Mapping Every Key, Part 1 A survey of common partial map data structures, and how total maps somewhat change the landscape 16 Feb 2026 5 min read
