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
- 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
Advanced programming by B. C. Pierce – volná inspirace pro tento předmět