declarative, purely functional, functional
static system, strong typing
Kent Recursive Calculator, ML