PFL080 Haskell nejen pro informatiky

English version

11.10.2007 Introduction -- Types and Polymorphism -- Laziness

18.10.2007 "Why FP Matters" -- Higher-Order Functions -- Tree Structures

25.10.2007 "Haskell and XML" -- Type Classes -- Pretty-Printing

01.11.2007 "A Prettier Printer" -- Monads -- Parsing

08.11.2007 "Monadic Parsing in Haskell" -- Monad Laws -- Input/Output

15.11.2007 "Cabal" -- "Haddock" -- Functional Dependencies

22.11.2007 "Fun with FD" -- Curry-Howard Correspondence -- Existential Types

29.11.2007 LECTURE CANCELLED

06.12.2007 “Proofs are Programs” – Combinatory Categorial Grammar

13.12.2007 “Using Types to Parse Natural Language” – Finite Maps – Arrays

20.12.2007 “Functional Morphology” – Functional Queues – Red-Black Trees

03.01.2008 Haskell versus OCaml – Projects – Darcs

10.10.2008 QuickCheck – MapReduce et al. – Concluding Notes

Haskell je čistě funkcionální programovací jazyk. Jeho studium vybízí k hledání souvislostí mezi různými oblastmi informatiky, logiky i lingvistiky. Haskell je ale též 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.

Předmět je určen pro studenty magisterského nebo doktorandského studia zmiňovaných oborů. Absolvování PRG005 není ani podmínkou, ani překážkou účasti. S některými probíranými tématy se lze setkat i v PRG040, příp. AIL006 a AIL078. V našem případě bude míra teoretického detailu věcí dohody a složení referátů bude záviset na zájmu studentů.

• 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. 1984. 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. Výpočetní model a lambda kalkulus
3. Rekurze, abstrakce, funkce vyššího řádu
4. Polymorfní typy versus třídy typů
5. Monády a jejich využití
6. Parsing a pretty-printing
7. Doménově specifické jazyky
8. Související teoretické otázky
9. Užitečné nástroje pro programátory

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

Advanced Functional Programming at Saarbrücken

"Impressive Haskell" by Otakar Smrž

Studijní informační systém