Maxwell Swadling

Share

Software engineer at NICTA. Haskell programmer.
maxs.io/
@maxpow4h

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

TALK –  VIEW SLIDES WATCH VIDEO

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.