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 16:04] ufal |
courses:pfl080 [2007/04/11 21:14] ufal |
||
---|---|---|---|
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. | ||
- | ===== Literatura ===== | + | Předmět je určen pro studenty magisterského nebo doktorandského studia. Absolvování [[http:// |
+ | [[http:// | ||
- | - Paul Hudak. 2000. //The Haskell School of Expression: Learning Functional Programming through Multimedia// | ||
- | - Peter Ljunglof. 2002. //Pure Functional Parsing. An Advanced Tutorial//. Licenciate thesis, Goteborg University & Chalmers University of Technology. | + | ===== Literatura ===== |
- | - Philip Wadler. 2003. //A Prettier Printer//. In Jeremy Gibbons and Oege de Moor, editors, //The Fun of Programming//, | + | * Hal Daumé III. 2002--2006. // |
+ | * Paul Hudak. 2000. //The Haskell School of Expression: Learning Functional Programming through Multimedia// | ||
+ | * Paul Hudak, John Peterson, Joseph Fasel. 2000. // | ||
+ | * John Hughes. // | ||
+ | |||
+ | * Richard A. Frost. 2006. // | ||
+ | * Peter Ljunglof. 2002. // | ||
+ | * Philip Wadler. 2003. //[[http:// | ||
- | - | ||
===== Sylabus ===== | ===== Sylabus ===== | ||
+ | |||
+ | - Základní funkce a datové typy | ||
+ | - Výpočetní model a lambda kalkulus | ||
+ | - Rekurze, abstrakce, funkce vyššího řádu | ||
+ | - Polymorfní typy versus třídy typů | ||
+ | - Monády a jejich využití | ||
+ | - Parsing a pretty-printing | ||
+ | - Doménově specifické jazyky | ||
+ | - Související teoretické otázky | ||
+ | - Užitečné nástroje pro programátory | ||
+ | |||
===== Odkazy ===== | ===== Odkazy ===== | ||
- | [[http:// | + | [[http:// |
+ | |||
+ | [[http:// | ||
+ | |||
+ | [[http:// | ||
[[http:// | [[http:// | ||