Tartalomjegyzék:
Meghatározás - Mit jelent a Lambda Calculus?
A Lambda calculus egy matematikai logikából származó formális rendszer egy típusa, amelyet a számítástechnikában használnak a funkció meghatározásához, alkalmazásához és rekurzálásához.
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 kínál 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.
A Techopedia magyarázza a Lambda Calculust
A Lambda calculus teszi a nyelvi kódszálakat pontosan ugyanazoknak az értékeknek az eredményét, 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 érvényes a imperatív funkcióprogramozásra, amely jellemzően kiszámíthatatlan programválaszokkal rendelkezik.
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.
