Zaawansowane programowanie funkcyjne

Tematem seminarium jest przegląd zaawansowanych cech języków funkcyjnych, a także technik programowania wykorzystujących te cechy. Przedstawione zostaną m. in. takie zagadnienia jak:

• Monady i transformatory monad
• Kontynuacje
• Transformacje programów
• Klasy typów
• Algebra programów funkcyjnych
• Polimorfizm wyższego stopnia (higher-rank polymorphism)
• Uogólnione algebraiczne typy danych (GADT's)
• Typy zależne
• Metaprogramowanie (programowanie wieloetapowe, ewaluacja częściowa)
• Programowanie reaktywne

Terminarz

Literatura

• [Hughes 1990] Why functional programming matters. John Hughes. Research Topics in Functional Programming, ed. D. Turner, Addison-Wesley, 1990, pp 17–42.
• [Wadler 1992] The essence of functional programming. Philip Wadler. Invited talk, 19'th Symposium on Principles of Programming Languages, ACM Press, Albuquerque, January 1992.
• [Brady 2013] Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation, Edwin Brady, Journal of Functional Programming, August 2013.
• [Ager et al. 2003] A Functional Correspondence between Evaluators and Abstract Machines. Mads Sig Ager, Dariusz Biernacki, Olivier Danvy and Jan Midtgaard. In D. Miller, editor, Proceedings of the 5th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pp. 8-19, Uppsala, Sweden, August 2003. ACM Press.
• [Reynolds 1998] Definitional interpreters for higher-order programming languages. John C. Reynolds. Higher-Order and Symbolic Computation, 11(4)363-397, 1998.
• [Hinze 2003] Fun with phantom types. Ralf Hinze. 2003
• [Wadler & Blott 1989] How to make ad-hoc polymorphism less ad hoc. Philip Wadler and Stephen Blott. 16'th Symposium on Principles of Programming Languages, ACM Press, Austin, Texas, January 1989.
• [Kiselyov et al. 2005] Backtracking, interleaving, and terminating monad transformers. Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry. 2005.
• [Taha 2003] A Gentle Introduction to Multi-stage Programming. Walid Taha. Domain-Specific Program Generation 2003: 30-50.
• [Taha 2007] A Gentle Introduction to Multi-stage Programming, Part II. Walid Taha. GTTSE 2007: 260-290.
• [Meijer et al. 1991] Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. Erik Meijer, Maarten M. Fokkinga, Ross Paterson. FPCA 1991: 124-144.
• [Wehr & Chakravarty 2008] ML Modules and Haskell Type Classes: A Constructive Comparison. Stefan Wehr, Manuel M. T. Chakravarty. APLAS 2008: 188-204.
• Perełki programowania funkcyjnego.
• Lista publikacji Richarda Birda.
• Publikacje Ralfa Hinze.
• [Huet 1997] The Zipper. Gerard Huet. JFP 7(5):549-554, 1997.
• [McBride & Paterson 2008] Applicative programming with effects. Conor McBride, Ross Paterson. J. Funct. Program. 18(1): 1-13, 2008.

Wymagania

1. być obecnym na co najmniej 10 spotkaniach
2. opracować i przedstawić wybrany temat (50%)
3. rozwiązać wybrane zadania przygotowane przez pozostałych uczestników seminarium (50%).

1. przygotowanie prezentacji;
2. przygotowanie dodatkowych materiałów w postaci slajdów, notatek, implementacji, etc. i przesłanie ich do prowadzącego nie później niż 4 dni po seminarium;
3. przygotowanie zadania programistycznego (wraz z rozwiązaniem) ilustrującego omawiany temat;
4. ocena studenckich rozwiązań zaproponowanego zadania (autor zadania ustala termin nadsyłania rozwiązań).

• [Danvy 2011] Communication in Computer Science. Olivier Danvy. 4th Summer School on Generative and Transformational Techniques in Software Engineering, July 2011, Braga, Portugal.
• [Peyton Jones et al. 1993] How to give a good research talk. Simon Peyton Jones, John Launchbury, John Hughes. SIGPLAN Notices 28(11), November 1993.

Oceny