[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

This is an old revision of the document!


[návrh] PFL080 Haskell nejen pro informatiky

English version

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

Studijní informační systém


[ Back to the navigation ] [ Back to the content ]