Funkcionálne programovanie: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d →Funkcionálne programovacie jazyky: wikilinky |
d wikilinky |
||
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 [[Lambda kalkul|'''λ-kalkul''']]. Ide o matematický formalizmus pre popis vyčíslitelných funkcí, ktorý vytvoril [[Alonzo Church]] v [[30. roky 20. storočia|30. rokoch 20. storočia]]. Je považovaný za „prajazyk“ funkcionálnych jazykov.
== Funkcionálne programovacie jazyky ==
| |||