Lambdakalkyle

Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Begrundelsen kan findes på diskussionssiden eller i artikelhistorikken. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet (marts 2018) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked)

Lambdakalkyle (også Lambda-kalkyle eller Lambda kalkyle) er et formelt system indenfor den matematiske logik. Systemet giver en formel notation for definition af funktioner udtrykt ved et antal ubundne variable. Systemet og den tilhørende notation blev oprindelig opfundet af den amerikanske matematiker Alonzo Church i 1930'erne som et værktøj i studiet af matematikkens fundament. Systemet kan imidlertid også opfattes som en fundamental notation for computer programmering og mødes derfor også indenfor datalogien. En række programmeringssprog kaldet funktionssprog implementerer forskellige maskinelle fortolkninger af lambdakalkylen, f.eks. LISP, men disse har indtil midt i 00'erne primært været af teoretisk interesse. I dag er anonyme funktioner dog almindeligt brugt i mainstream sprog som C# og JavaScript.