Tag: metaprogramming

An introduction to typeclass metaprogramming
Post

An introduction to typeclass metaprogramming

Originally posted on lexi-lambda.github. Typeclass metaprogramming is a powerful technique available to Haskell programmers to automatically generate term-level code from static type information. It has been used to great effect in several popular Haskell libraries (such as the servant ecosystem), and it is the core mechanism used to implement generic programming via GHC generics. Despite this, remarkably little material...