Package Highlight: newtype-generics
A package highlight on newtype-generics, safe coercions, and a smaller type-family approach to recovering underlying newtype representations.
Writing
Collected essays and notes, organized by topic.
Type-Safe Runtime Dispatch in Haskell
A practical explanation of Typeable, TypeRep, propositional equality, and runtime type-safe dispatch in GHC Haskell.
Categories
- Haskell 2