Nejprve vyvinutý americkým matematikem Alonzo Church ve třicátých létech, lambda počet je formální systém pro vyjádření výpočtu založeného na abstrakci funkcí. Je to základní princip v matematické logice. Více jasně, lambda kalkul má být jednoduchý systém počítání to je alternativa k “hardwarovému” přístupu používanému Turing stroji.

Jak se používá lambda kalkulus?

V počítačovém programování, lambda počet je používán anonymizovat funkce, dovolit jim být odkazoval se na v abstraktním smyslu. Tato akce z nich dělá prvotřídní objekty: mohou být ovládány stejně jako všechny ostatní entity v jazyce. Například anonymní funkce může být předána jiným funkcím jako parametr.

Jedním z prvních programovacích jazyků pro použití anonymních funkcí byl LISP. Zvláštní slovo lambda v LISP definuje funkci, aniž by jí dal jméno. Například funkce x + 2 může být definována anonymně v LISP s následujícím prohlášením:

 (lambda (x) (+ x 2)) 

Anonymní funkce jsou důležitou součástí mnoha moderních programovacích jazyků, včetně JavaScriptu.

Rytíři Lambda kalkulu, logika, programovací termíny, syntaktický cukr