Lambda Calculus

Författare: Monica Porter
Skapelsedatum: 18 Mars 2021
Uppdatera Datum: 1 Juli 2024
Anonim
Lambda Calculus - Computerphile
Video: Lambda Calculus - Computerphile

Innehåll

Definition - Vad betyder Lambda Calculus?

Lambda calculus är en typ av formellt system från matematisk logik som används i datavetenskap för funktionsdefinition, tillämpning och rekursion.

Funktionell datorprogrammering uppstod av denna typ av kalkyl och fungerar i sin tur som en modell för mjukvaruutveckling genom att tillhandahålla enkel semantik för beräkning med funktioner. Till skillnad från med nödvändiga funktioner, som kan ändra programstatus eftersom de inte har referensöppenhet, ändrar inte funktionell programmering programstatus.


En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.

Techopedia förklarar Lambda Calculus

Lambda-beräkningen gör att språkkodstrådar resulterar i exakt samma värden, oavsett tid eller maskin som kodtråden kördes på. Detta är inte fallet med nödvändig programmeringsprogrammering, som vanligtvis har oförutsägbara programsvar.

Funktionell programmering kan realiseras på vilket programmeringsspråk som helst, även de som inte är utformade med standardfunktionella programmeringsstrukturer.