Functional languages
Type theory
Data types
Subroutines
Haskell
Literate programming
Io
Main function
Type class
Computing
Software engineering
Computer programming