Functional programming
Data types
Control flow
Eval
Interpreter
Syntax
Abstract syntax
Const
Higher-order function
Monad
Programming language