Funkcionální programování: Porovnání verzí

Smazaný obsah Přidaný obsah
→‎Koncepty: gramatika
m →‎Historie: typografické úpravy
Řádek 19:
[[Lambda kalkul]] poskytuje teoretickou podporu pro popis funkcí a jejich vyhodnocení. Ačkoliv je to více matematická abstrakce než programovací jazyk, vytváří dnes základy téměř všech funkcionálních jazyků.
 
Kombinatorická logika je variace lambda kalkulu, kde jsou lambda výrazy nahrazeny omezenou sadou primitivních funkcí - kombinátorů. Vytvořil ji Moses Schönfinkel a [[Haskell Brooks Curry]]. Původně ji vytvořili k dosažení čistšího přístupu k základům matematiky. Kombinatorická logika je obecně chápána víc abstraktně než [[Lambda kalkul]] a ve vývoji ji předběhla.
 
Jeden z prvních jazyků, který v sobě zahrnoval funkcionální část, byl [[LISP]], vytvořený Johnem McCarthym pro [[IBM]] série 700/7000 vědeckých počítačů na konci 50. let. LISP představil mnoho vlastností, které můžeme najít v nynějších funkcionálních jazycích, ačkoliv LISP je technicky multi-paradigmatický jazyk. [[Scheme]] a Dylan byly pozdější pokusy zjednodušit a vylepšit LISP.