Functional languages
Type theory
Meta-programming
Template Haskell
Recursion
Glasgow Haskell Compiler
Monad
Map
Haskell
Software engineering
Computing
Computer programming