Ciele
- Pochopiť syntax a sémantiku kalkulu lambda.
- Pochopiť význam kalkulu lambda pre funkcionálne programovanie.
Materiály
Zdroje
- Funkcionálne programovanie. Ján Kollár, 2009 — kapitola 12. Jazyk lambda a kombinátory
- Lambda calculus (Wikipedia)
Doplňujúce zdroje
- Gabriel Lebec. Combinators, Lambda Calculus & Church Encodings in JS: časť 1, časť 2
- John Hughes, Mary Sheeran. Why Functional Programming Matters
- David Turner. Some History of Functional Programming Languages