Lambda kalkul: Porovnání verzí

V lambda kalkulu každý výraz popisuje funkci jednoho argumentu, který je sám funkcí jednoho argumentu, a jejímž výsledkem je opět funkce jednoho argumentu. Funkce lze definovat bez pojmenování, uvedením lambda výrazu, který popisuje, jak se z hodnoty argumentu vypočte hodnota funkce. Příkladem může být funkce „přičti dvojku“, ''f(x) = x + 2''. V lambda kalkulu se taková funkce zapíše jako <code>λ x. x + 2</code> (nebo, beze změny významu <code>λ y. y + 2</code>, jméno argumentu není podstatné). Aplikace takové funkce na číslo 3 se zapíše jako <code>(λ x. x + 2) 3</code>. (Aplikace je [[asociativita|asociativní]] zleva: <code>f x y</code> = <code>(f x) y</code>.