Lambda arvutus

Autor: Monica Porter
Loomise Kuupäev: 18 Märts 2021
Värskenduse Kuupäev: 1 Juuli 2024
Anonim
Keisler measures in the wild
Videot: Keisler measures in the wild

Sisu

Definitsioon - mida tähendab Lambda Calculus?

Lambda arvutus on matemaatilisest loogikast lähtuv ametliku süsteemi tüüp, mida kasutatakse arvutiteaduses funktsioonide määratlemiseks, rakendamiseks ja rekursiooniks.

Funktsionaalne arvutiprogrammeerimine tekkis seda tüüpi arvutustest ja toimib omakorda tarkvaraarenduse mudeliks, pakkudes funktsioonide arvutamiseks lihtsat semantikat. Erinevalt kohustuslikest funktsioonidest, mis võivad programmi olekut muuta, kuna neil puudub soovituslik läbipaistvus, ei muuda funktsionaalne programmeerimine programmi olekut.


Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.

Techopedia selgitab Lambda Calculust

Lambda kalkulatsioon muudab keelekoodilõngade tulemuseks täpselt samad väärtused, sõltumata ajast või masinast, kus koodlõng töötati. See ei kehti kohustuslike funktsioonide programmeerimise korral, mille programmide vastused on tavaliselt ettearvamatud.

Funktsionaalset programmeerimist saab realiseerida mis tahes programmeerimiskeeles, isegi nendes, mis ei olnud loodud vaikimisi funktsionaalsete programmeerimisstruktuuridega.