Funkcionální programování: Porovnání verzí
Smazaný obsah Přidaný obsah
m .. dtto |
m →Historie: typografie za použití AWB |
||
Řádek 13:
== Historie ==
Prvopočátky funkcionálních jazyků najdeme již ve 30. letech 20. století. Tehdy profesor matematiky a filosofie na Princeton University [[Alonzo Church]] (1903-1995) vytvořil netypovaný [[lambda kalkul]] jako matematickou teorii funkcí. K nejznámějším Churchovým vědeckým přínosům patří také tzv.
[[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ů.
|