Theory
OK, that’s all the theory we’ll cover for functional languages
- There’s tons more (typed lambda-calculus, as one example)
It’s not intended to make you theoreticians, but rather to give you some sense of the underlying mathematical basis for functional programming