Lambda: erinevus redaktsioonide vahel
Resümee puudub |
Resümee puudub |
||
| 1. rida: | 1. rida: | ||
Lambda on kreeka tähestiku täht, mis vastab ladina tähele L. Selle kogumiku nimeks | 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 | sai '''lambda''' seetõttu, et 1930 aastatel lõi | ||
| 11. rida: | 8. rida: | ||
[http://en.wikipedia.org/wiki/Lambda_calculus lambda-arvutuseks] | [http://en.wikipedia.org/wiki/Lambda_calculus lambda-arvutuseks] | ||
(praktiliseks katsetamiseks külasta [http://ling.ucsd.edu/~barker/Lambda/ seda saiti]). | (praktiliseks katsetamiseks külasta [http://ling.ucsd.edu/~barker/Lambda/ seda saiti]). | ||
Lambda-arvutus oli küll puhtalt teooria | Lambda-arvutus oli küll puhtalt teooria | ||
jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta | jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta | ||
hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks. | 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. | |||
Redaktsioon: 25. veebruar 2005, kell 14:04
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 A.Church ühe esimestest programmeerimiskeeltest maailmas (teine oli Churchi õpilase A.Turingu nn "Turingi masin") ning nimetas selle keele lambda-arvutuseks (praktiliseks katsetamiseks külasta 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
Half-Life
Black Mesa kompleksi
lambda sektori
logost.