Lehekülje Lambda lähteteksti vaatamine

Lambda on kreeka tähestiku täht, mis vastab ladina tähele L. Selle kogumiku nimeks 
sai '''lambda''' seetõttu, et 1930 aastatel lõi 
[http://en.wikipedia.org/wiki/Alonzo_Church A.Church] ühe esimestest
programmeerimiskeeltest maailmas (teine oli Churchi õpilase 
[http://www.turing.org.uk/turing/ A.Turingu] nn 
[http://en.wikipedia.org/wiki/Turing_machine "Turingi masin"])
ning nimetas selle keele 
[http://en.wikipedia.org/wiki/Lambda_calculus lambda-arvutuseks]
(praktiliseks katsetamiseks külasta [http://ling.ucsd.edu/~barker/Lambda/ seda saiti]). 

Lambda-arvutus oli küll puhtalt teooria
jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta
hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks.
Keel ei sisalda tegelikult midagi muud, kui lihtsakoelist asenduste 
tegemise mehhanismi. Näiteks: avaldis ((λ x. f x) a) annab arvutamise
(st. asendamise) tulemuseks (f a), avaldis ((λ x. x x) a) annab tulemuseks (a a),
ning avaldise ((λ x. x x) (λ x. x x)) arvutamine läheb lõputusse
tsüklisse, sest avaldise väärtus on ta ise.


Lambda sümbol on veel sisemine osa 
[http://en.wikipedia.org/wiki/Half-Life Half-Life] 
Black Mesa kompleksi 
[http://www.hlfallout.net/articles.php/article_1/ lambda sektori] 
logost.