Software engineering
Computer programming
Declarative programming
Functional programming
Data types
Type theory
Monad
Option type
Type class
Map
ALGOL 68
Functor