Higher-order functions
Programming language comparisons
Data types
Functional programming
Generalized algebraic data type
Type theory
Map
Haskell
Fold
Yhc
Hugs
Conditional