This is an old revision of the document!
PFL080 Haskell nejen pro informatiky
Vyučující | Otakar Smrž, Ph.D. |
---|---|
Rozsah | 2/1 Z+Zk |
Platnost | od ZS 2007 |
Souřadnice | Čt 10:40–13:05 SU1 |
Osnova
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. 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ů.
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, 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.
Sylabus
- Základní funkce a datové typy
- Výpočetní model a lambda kalkulus
- Rekurze, abstrakce, funkce vyššího řádu
- Polymorfní typy versus třídy typů
- Monády a jejich využití
- Parsing a pretty-printing
- Doménově specifické jazyky
- Související teoretické otázky
- Užitečné nástroje pro programátory
Odkazy
Advanced Programming by Benjamin C. Pierce – volná inspirace pro tento předmět
Advanced Functional Programming at Saarbrücken