„Funkcionális programozás” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
LuCkY (vitalap | szerkesztései)
a Szám és névelő egyeztetése AWB
36. sor:
Az egyik korai funkcionális nyelv a [[Lisp (programozási nyelv)|Lisp]], melyet John McCarthy alkotott meg az 1950-es évek végén.<ref>{{cite web|title=The implementation of LISP|work=History of Lisp|author=John McCarthy|url=http://www-formal.stanford.edu/jmc/history/lisp/node3.html|format=HTML|accessdate=20160218}}</ref> A ma legelterjedtebb változatai az általános célú [[Common Lisp]] és [[Scheme]] nyelvek.
 
Az első típusos funkcionális nyelv az [[ML]] (Meta Language) egyik korai változata volt, amit Robin Milner készített aaz 1970-es évek közepén a Edinburgh-i Egyetemen, melyben megvalósította típuselméleti eredményeit. Ezt a nyelvet alapvetően logikai állítások és tételek bizonyítására tervezték.
 
A Hope és egyéb funkcionális nyelvek, köztük az ML és NPL által inspirálva dolgozták ki az SML, azaz [[SML|Standard ML]] nyelvet az 1980-as évek közepétől. Több dialektusa is készült, mint például az OCalm.