Funkcionální programování
Z Wikipedie, otevřené encyklopedie
Funkcionální programování patří mezi deklarativní programovací principy. Alonzo Church vytvořil formální výpočtový model nazvaný λ-kalkul. Tento model slouží jako základ pro funkcionální jazyky.
Funkcionální jazyky dělíme na:
Výpočtem funkcionálního programu je posloupnost vzájemně ekvivalentních výrazů, které se postupně zjednodušují. Výsledkem výpočtu je výraz v normální formě, tedy dále nezjednodušitelný. Program je chápán jako jedna funkce obsahující vstupní parametry mající jediný výstup. Tato funkce pak může být dále rozložitelná na podfunkce.
[editovat] Odkazy
 |
Tento článek o počítačích je pahýl. Můžete pomoci Wikipedii tím, že jej rozšíříte. |
