Funkcionálne programovanie: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
d typo gram, replaced: Jedná sa → Ide, . → . |
||
Riadok 6:
nepopisuje ''ako'' sa bude problém riešiť, ale ''čo'' sa daným problémom bude riešiť. Medzi jeho hlavné výhody patrí odstránenie bočných efektov počas výpočtu, čo umožňuje programovú verifikáciu a kontrolu správnosti programov.
Ako základ väčšiny funkcionálnych jazykov slúži '''λ-kalkul'''.
== Funkcionálne programovacie jazyky ==
Najstarším príkladom funkcionálneho jazyku je [[Lisp]], aj keď ani pôvodný LISP a ani nové varianty ako [[Common Lisp]] nie sú čisté funkcionálne jazyky. Medzi ďalšie varianty Lispu patria [[Logo (programovací jazyk)|Logo]], [[Scheme]], [[Dylan]]. Moderné príklad funkcionálnych jazykov sú [[Haskell]] a rodina jazykov [[ML]] zahŕňajúca [[ML]], [[Standard ML]], [[OCaml]] a [[F Sharp|F#]]
Aj niektoré imperatívne programovacie jazyky, ako napríklad [[Python]], [[Ruby]], [[Tcl]] alebo [[Perl]], sa dajú použiť na funkcionálne programovanie, pretože obsahujú funkcie vyššieho rádu, abstrakcie a podobne.
|