English version

Haskell je čistě funkcionální programovací jazyk. Jeho studium vybízí k hledání souvislostí mezi různými oblastmi informatiky, logiky i lingvistiky. Zároveň je to ale moderní prostředek pro přesný, přitom stručný a srozumitelný popis řešení obecných problémů.

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.

• Hal Daumé III. 2002–2006. Yet Another Haskell Tutorial.
• Paul Hudak. 2000. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press.
• Paul Hudak, John Peterson, Joseph Fasel. 2000. A Gentle Introduction to Haskell.
• John Hughes. Why Functional Programming Matters.

• Richard A. Frost. 2006. Realization of Natural Language Interfaces Using Lazy Functional Programming. ACM Computing Surveys, Volume 38, Issue 4.
• Peter Ljunglof. 2002. Pure Functional Parsing. An Advanced Tutorial. Licenciate thesis, Goteborg University & Chalmers University of Technology.
• Philip Wadler. 2003. A Prettier Printer. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, Cornerstones of Computing, pages 223–243. Palgrave Macmillan, March 2003.

1. Základní funkce a datové typy
2. Rekurze, funkce vyššího řádu
3. Polymorfní typy versus třídy typů
4. Monády a jejich využití
5. Parsing a pretty-printing
6. Doménově specifické jazyky
7. Doplňující otázky z programování

Advanced Programming by B. C. Pierce – volná inspirace pro tento předmět

Advanced Functional Programming at Saarbrücken

Studijní informační systém