Først utviklet av amerikansk matematiker Alonzo kirke i 1930-tallet, er lambda-kalkulator et formelt system for å uttrykke beregning basert på abstraksjon av funksjoner. Det er et grunnleggende prinsipp i matematisk logikk. Mer tydeligvis, lambda kalkulator har som mål å være et enkelt system for beregning som er et alternativ til "maskinvare" tilnærming som brukes av Turing maskiner.

Hvordan brukes lambda kalkulator?

I dataprogrammering brukes lambda-kalkulator til å anonymisere funksjoner, slik at de kan refereres til i abstrakt forstand. Denne handlingen gjør dem førsteklasses objekter: de kan drives på akkurat som alle andre enheter på språket. For eksempel kan en anonym funksjon overføres til andre funksjoner som en parameter.

Et av de første programmeringsspråkene for å bruke anonyme funksjoner var LISP. Det spesielle ordet lambda i LISP definerer en funksjon uten å gi det et navn. For eksempel kan funksjonen x + 2 defineres anonymt i LISP med følgende setning:

 (lambda (x) (+ x 2)) 

Anonyme funksjoner er en viktig del av mange moderne programmeringsspråk, inkludert JavaScript.

Ridders of Lambda Calculus, Logic, Programmeringsbetingelser, Syntactic Sugar