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-en [2007/03/30 14:26] ufal |
courses:pfl080-en [2007/03/30 22:30] ufal |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ~~NOTOC~~ | ||
+ | |||
====== [draft] PFL080 Haskell and Domain-Specific Languages ====== | ====== [draft] PFL080 Haskell and Domain-Specific Languages ====== | ||
Line 8: | Line 10: | ||
===== Annotation ===== | ===== Annotation ===== | ||
+ | |||
+ | [[http:// | ||
+ | |||
+ | The lecture will be devoted to the characteristic features of the language, and we will meet them applied in the context of domain-specific languages. In the seminar, students will discuss their understanding of selected research papers. | ||
+ | |||
===== References ===== | ===== References ===== | ||
+ | |||
+ | * 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. // | ||
+ | |||
===== Syllabus ===== | ===== Syllabus ===== | ||
+ | |||
+ | - Elementary functions and data types | ||
+ | - Computational model and lambda calculus | ||
+ | - Recursion, abstraction, | ||
+ | - Polymorphic types versus type classes | ||
+ | - Monads and their use | ||
+ | - Parsing and pretty-printing | ||
+ | - Domain-specific languages | ||
+ | - Related theoretical issues | ||
+ | - Useful tools for the programmer | ||
+ | |||
===== Links ===== | ===== Links ===== | ||
- | [[http:// | + | [[http:// |
+ | |||
+ | [[http:// | ||
+ | |||
+ | [[http:// | ||