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

Imperativní programování

Deklarativní programování