This is an old revision of the document!
[návrh] PFL080 Haskell nejen pro informatiky
| Vyučující | Mgr. Otakar Smrž |
|---|---|
| Rozsah | 2/1 Z+Zk |
| Platnost | od ZS 2007 |
Anotace
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.
Literatura
- Paul Hudak. 2000. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press.
- 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
Advanced programming by B. C. Pierce – volná inspirace pro tento předmět