Seminarium: Zaawansowane programowanie funkcyjne

Tematem seminarium jest przegląd zaawansowanych cech języków funkcyjnych takich jak Ocaml, 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 Metody Programowania, a także rozszerzenie przedmiotu Programowanie Funkcyjne. Przedstawione zostaną takie zagadnienia jak m. in.:

1. Polimorfizm parametryczny (Theorems for free!)
2. Typy egzystencjalne
3. Polimorfizm wyższego stopnia
4. Uogólnione algebraiczne typy danych (GADT’s)
5. Embedded domain-specific languages
6. Programowanie wieloetapowe (ewaluacja częściowa, generowanie kodu)
7. Interpretery definiujące
8. Kontynuacje
9. Programowanie reaktywne
10. Typy zależne

Literatura do przedmiotu obejmować będzie wybrane artykuły naukowe z dziedziny programowania funkcyjnego.