Obsah:
Definice - Co znamená Lambda Calculus?
Lambda kalkul je typ formálního systému z matematické logiky používaného v informatice pro definici funkce, aplikaci a rekurzi.
Funkční počítačové programování vyvstávalo z tohoto typu počtu a působí jako model pro vývoj softwaru poskytováním jednoduché sémantiky pro výpočet funkcí. Na rozdíl od imperativních funkcí, které mohou změnit stav programu, protože nemají referenční průhlednost, funkční programování nemění stav programu.
Techopedia vysvětluje Lambda počet
Lambda calculus způsobuje, že podprocesy kódů jazyka mají přesně stejné hodnoty, bez ohledu na čas nebo stroj, na kterém bylo podprocesy spuštěny. To není případ imperativního programování funkcí, které má obvykle nepředvídatelné programové odezvy.
Funkční programování lze realizovat v jakémkoli programovacím jazyce, dokonce i v těch, které nebyly navrženy se standardními funkčními programovacími strukturami.
