Obsah:
Definícia - Čo znamená Lambda kalkul?
Lambda kalkul je typ formálneho systému z matematickej logiky, ktorý sa v počítačovej vede používa na definovanie funkcie, aplikáciu a rekurziu.
Funkčné počítačové programovanie vzniklo z tohto typu počtu a pôsobí ako model pre vývoj softvéru poskytovaním jednoduchej sémantiky pre výpočet funkcií. Na rozdiel od imperatívnych funkcií, ktoré môžu zmeniť stav programu, pretože nemajú referenčnú transparentnosť, funkčné programovanie nemení stav programu.
Techopedia vysvetľuje Lambda počet
Lambda kalkul umožňuje vláknom kódu jazyka dosiahnuť presne rovnaké hodnoty bez ohľadu na čas alebo stroj, v ktorom bolo vlákno kódu spustené. Toto nie je prípad programovania nevyhnutných funkcií, ktoré má zvyčajne nepredvídateľné programové odozvy.
Funkčné programovanie sa môže realizovať v ľubovoľnom programovacom jazyku, dokonca aj v tých, ktoré neboli navrhnuté s predvolenými funkčnými programovacími štruktúrami.
