Lambda: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 3. rida: | 3. rida: | ||
[http://en.wikipedia.org/wiki/Alonzo_Church A.Church] ühe esimestest | [http://en.wikipedia.org/wiki/Alonzo_Church A.Church] ühe esimestest | ||
programmeerimiskeeltest maailmas (teine oli Churchi õpilase | programmeerimiskeeltest maailmas (teine oli Churchi õpilase | ||
[http://www.turing.org.uk/turing/ A.Turingu] nn "Turingi masin") | [http://www.turing.org.uk/turing/ A.Turingu] nn | ||
[http://en.wikipedia.org/wiki/Turing_machine "Turingi masin"]) | |||
ning nimetas selle keele | ning nimetas selle keele | ||
[http://ling.ucsd.edu/~barker/Lambda/ lambda-arvutuseks]. | [http://ling.ucsd.edu/~barker/Lambda/ lambda-arvutuseks]. | ||
Redaktsioon: 24. veebruar 2005, kell 22:23
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.
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.