Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
courses:pfl080 [2007/03/30 17:22] ufal |
courses:pfl080 [2007/03/30 19:31] ufal |
||
---|---|---|---|
Line 32: | Line 32: | ||
- Základní funkce a datové typy | - Základní funkce a datové typy | ||
- | - Rekurze, funkce vyššího řádu | + | |
+ | | ||
- Polymorfní typy versus třídy typů | - Polymorfní typy versus třídy typů | ||
- | - Monády a jejich využití | + | - Monády |
- Parsing a pretty-printing | - Parsing a pretty-printing | ||
- Doménově specifické jazyky | - Doménově specifické jazyky | ||
- | - Doplňující | + | - Související teoretické |
+ | - Užitečné nástroje pro programátory | ||