Amerikkalainen matemaatikko Alonzon kirkko kehitti ensimmäisen kerran 1930-luvulla lambda-laskelman muodollisen järjestelmän laskemisen ilmaisemiseksi, joka perustuu funktioiden ottoon. Se on matemaattisen logiikan perusperiaate. Selkeämmin, lambda calculus pyrkii olemaan yksinkertainen laskentajärjestelmä, joka on vaihtoehto Turingin koneiden käyttämälle "laitteistokäytännölle".

Miten lambda-laskua käytetään?

Tietokoneohjelmoinnissa lambda calculus käytetään anonyymoimaan toiminnot, jolloin ne voidaan viitata abstraktiin merkitykseen. Tämä toimenpide tekee niistä ensiluokkaisia ​​kohteita: niitä voidaan käyttää samalla tavalla kuin mitä tahansa muuta kieltä. Esimerkiksi anonyymi toiminto voidaan siirtää muihin toimintoihin parametrina.

Yksi ensimmäisistä nimettömien toimintojen ohjelmointikielistä oli LISP. LISP: n erityinen sana lambda määrittelee toiminnon antamatta sille nimeä. Esimerkiksi funktio x + 2 voidaan määritellä nimettömästi LISP: ssä seuraavasti:

 (lambda (x) (+ x 2)) 

Anonyymit toiminnot ovat tärkeä osa monia nykyaikaisia ​​ohjelmointikieliä, kuten JavaScript.

Lambda-laskijat, logiikka, ohjelmointitermit, Syntaktinen sokeri