Seznam témat funkčního programování - List of functional programming topics
 | tento článek ne uvést žádný Zdroje. (Červen 2010) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Tohle je seznam Funkcionální programování témat.
Základní koncepty
- Programovací paradigma
- Deklarativní programování
- Programy jako matematické objekty
- Programování na funkční úrovni
- Čistě funkční programování
- Totální funkční programování
- Lambda programování
- Statický rozsah
- Funkce vyššího řádu
- Referenční průhlednost
Lambda kalkul
Kombinovaná logika
Intuicionistická logika
- Následující, následný počet
- Přirozený odpočet
- Intuicionistická teorie typů
- Interpretace BHK
- Curry – Howardova korespondence
- Lineární logika
- Sémantika hry
Teorie typů
- Zadaný počet lambda
- Psané a netypové jazyky
- Podpis typu
- Odvození typu
- Datový typ
- Algebraický datový typ (zobecněný )
- Proměnná typu
- Prvotřídní hodnota
- Polymorfismus
- Počet konstrukcí
Denotační sémantika
Teorie kategorií
Provozní problémy
- Zmenšení grafu
- Přísný programovací jazyk
- Líné hodnocení, nedočkavé hodnocení
- Spekulativní hodnocení
- Vedlejší účinek
- Úkol
- Uzavření
- Pokračování
- Pokračující styl předávání
- Provozní sémantika
- Státní přechodový systém
- Předobjednávka simulace
- Bisimulace
- Monády ve funkčním programování
- Zpracování výjimek
- Sběr odpadu