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. 2000. A Gentle Introduction to Haskell

- John Hughes. //Why Functional Programming Matters// - 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. ===== Sylabus ===== ===== Odkazy ===== [[http://www.cis.upenn.edu/~bcpierce/courses/advprog/index.html|Advanced programming by B. C. Pierce – volná inspirace pro tento předmět

Studijní informační systém