Sisällysluettelo:
Määritelmä - mitä Lambda Calculus tarkoittaa?
Lambda-laskenta on tietynlainen muodollinen järjestelmä matemaattisesta logiikasta, jota käytetään tietotekniikassa toimintojen määrittämiseen, soveltamiseen ja rekursiointiin.
Toiminnallinen tietokoneohjelmointi syntyi tämän tyyppisestä laskennasta ja toimii puolestaan mallina ohjelmistojen kehittämiselle tarjoamalla yksinkertainen semantiikka toimintojen laskennalle. Toisin kuin välttämättömissä toiminnoissa, jotka voivat muuttaa ohjelman tilaa, koska niillä ei ole referenssiläpinäkyvyyttä, toiminnallinen ohjelmointi ei muuta ohjelman tilaa.
Techopedia selittää Lambda Calculuksen
Lambda-laskutoimitus tekee kielikoodiketjuista tulokset täsmälleen samat, riippumatta ajasta tai koneesta, jolla koodikierteet ajettiin. Tämä ei ole tilanne pakollisessa funktio-ohjelmoinnissa, jolla on tyypillisesti arvaamaton ohjelman vastaus.
Toiminnallinen ohjelmointi voidaan toteuttaa millä tahansa ohjelmointikielellä, jopa sellaisilla, joita ei ole suunniteltu oletustoiminnallisilla ohjelmointirakenteilla.
