Obsah
- Definice - Co znamená Lambda Calculus?
- Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
- Techopedia vysvětluje Lambda počet
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í nezmění stav programu.
Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
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.