Lambda počet

Autor: Monica Porter
Dátum Stvorenia: 18 Pochod 2021
Dátum Aktualizácie: 27 V Júni 2024
Anonim
I wish I Knew EARLIER! Post Cat Oxygen Sensors | BMW E90 DIY
Video: I wish I Knew EARLIER! Post Cat Oxygen Sensors | BMW E90 DIY

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ú priehľadnosť, funkčné programovanie stav programu nezmení.


Úvod do programu Microsoft Azure a Microsoft Cloud V tejto príručke sa dozviete, o čom všetko je cloud computing a ako vám môže Microsoft Azure pomôcť migrovať a podnikať z cloudu.

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 imperatívnych 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.