Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
courses:pfl080 [2007/03/30 17:20] ufal |
courses:pfl080 [2007/04/11 22:02] ufal PFL080 česky |
||
---|---|---|---|
Line 8: | Line 8: | ||
^ Rozsah | ^ Rozsah | ||
^ Platnost | ^ Platnost | ||
+ | |||
===== Anotace ===== | ===== Anotace ===== | ||
- | [[http:// | + | [[http:// |
V přednášce se budeme věnovat výrazným rysům jazyka a zaměříme se na jeho aplikace v podobě tzv. doménově specifických jazyků. Ve cvičeních budou studenti diskutovat své referáty z odborné literatury. | V přednášce se budeme věnovat výrazným rysům jazyka a zaměříme se na jeho aplikace v podobě tzv. doménově specifických jazyků. Ve cvičeních budou studenti diskutovat své referáty z odborné literatury. | ||
+ | |||
+ | Předmět je určen pro studenty magisterského nebo doktorandského studia zmiňovaných oborů. Absolvování [[http:// | ||
Line 31: | Line 34: | ||
===== Sylabus ===== | ===== Sylabus ===== | ||
- | - Funkce | + | - Základní funkce |
- | - Rekurze, funkce vyššího řádu | + | - Výpočetní model a lambda kalkulus |
+ | - Rekurze, abstrakce, funkce vyššího řádu | ||
- Polymorfní typy versus třídy typů | - Polymorfní typy versus třídy typů | ||
- Monády a jejich využití | - Monády a jejich využití | ||
- 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 | ||
===== Odkazy ===== | ===== Odkazy ===== | ||
- | [[http:// | + | [[http:// |
[[http:// | [[http:// | ||
+ | |||
+ | [[http:// | ||
[[http:// | [[http:// | ||