Lambda Calculus

Szerző: Monica Porter
A Teremtés Dátuma: 18 Március 2021
Frissítés Dátuma: 1 Július 2024
Anonim
Lambda Calculus - Computerphile
Videó: Lambda Calculus - Computerphile

Tartalom

Meghatározás - Mit jelent a Lambda Calculus?

A Lambda calculus egy matematikai logikából származó formális rendszer, amelyet a számítástechnikában használnak a funkció meghatározására, alkalmazására és rekurzálására.

A funkcionális számítógépes programozás az ilyen típusú számításokból származott, és a szoftverfejlesztés modelljévé vált, és egyszerű szemantikát biztosít a függvények kiszámításához. Azon imperatív funkciókkal ellentétben, amelyek megváltoztathatják a program állapotát, mivel nem rendelkeznek referencia-átláthatósággal, a funkcionális programozás nem változtatja meg a program állapotát.


Bevezetés a Microsoft Azure és a Microsoft Cloud | A jelen útmutató során megtanulja, mi szól a felhőalapú számítástechnikából, és hogyan segítheti a Microsoft Azure a felhőből történő migrációt és az üzleti vállalkozás futtatását.

A Techopedia magyarázza a Lambda Calculust

A Lambda calculus a nyelvi kódszálakat pontosan ugyanazokkal az értékekkel eredményezi, függetlenül attól, hogy a kódszál futtatásának idejétől vagy géptől függetlenül. Ez nem áll fenn a imperatív funkcióprogramozás esetén, amely jellemzően kiszámíthatatlan programválaszokat eredményez.

A funkcionális programozás bármilyen programozási nyelven megvalósítható, még azokon is, amelyeket nem az alapértelmezett funkcionális programozási struktúrákkal terveztek.