Lambda Calculus

Kirjoittaja: Monica Porter
Luomispäivä: 18 Maaliskuu 2021
Päivityspäivä: 27 Kesäkuu 2024
Anonim
Lambda Calculus - Computerphile
Video: Lambda Calculus - Computerphile

Sisältö

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 pakollisissa toiminnoissa, jotka voivat muuttaa ohjelman tilaa, koska niillä ei ole vertailukelpoisuutta, toiminnallinen ohjelmointi ei muuta ohjelman tilaa.


Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.

Techopedia selittää Lambda Calculuksen

Lambda-laskutoimitus tekee kielikoodin säikeistä 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.