Tematem seminarium jest przegląd zaawansowanych cech językow funkcyjnych
takich jak Haskell oraz Agda, a także technik programowania wykorzystujących
te cechy. Seminarium może być potraktowane jako uzupełnienie kursu Haskella
prezentowanego w ramach przedmiotu Programowanie. Przedstawione zostaną takie
zagadnienia jak m. in.:
1. Monady i transformatory monad
2. Wejście/wyjście w czystych językach funkcyjnych
3. Parsery kombinatoryczne
4. Klasy typow
5. Polimorfizm wyższego stopnia
6. Uogolnione algebraiczne typy danych (GADT's)
7. Typy zależne
8. Programowanie generyczne
Literatura do przedmiotu obejmować będzie wybrane artykuły naukowe z dziedziny
programowania funkcyjnego.