Maxwell is a software engineer at NICTA where he does functional programming. In his spare time, he works on Haskell projects usually concerning construction of EDSLs and code generation.
YOW! Lambda Jam 2014 Brisbane
Extended Uses of Template Metaprogramming
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.