Extended Uses of Template Meta programming

Template Haskell is usually associated with reducing boilerplate or code generation. However, it is also a powerful tool for problem solving with a type system. We discuss using Template Haskell to construct proofs, infer function implementations and create interesting data structures at compile time.


Target Audience


schedule Submitted 4 months ago

Public Feedback

comment Suggest improvements to the Speaker