Jake's Side Quests
GhostA three-part mini-series on implementing total maps (functions over all keys) in Haskell, covering a survey of dictionary data structures, a denotational specification with derivation, and a type-class and GHC generics implementation. Readers get careful, math-flavoured explanations of functional data structure design with concrete Haskell code.