The lambda calculus
This prevalence of functions demands a basic understanding of the lambda calculus
- Other models of computation (such as Turing machines) don’t give us much insight into functional computation
Why care about the model of computation underlying a programming language?
- It helps us deeply understand a language, and thus be more effective in using it