Functional Programming

Цели¶

• знакомство незнакомых с основопологающими, но нетривиальными возможностями языков с развитой системой типов (например, параметрический и ad-hoc полиморфизм);
• знакомство незнакомых с прагматикой функциональных языков, неизвестными приёмами над известными языковыми конструкциями;
• приобщение специалистов по спецификации, тестированию и верификации к терминологии, приёмам и техникам функционального программирования.

Интересные темы и направления¶

• объяснение техник, которые используются в наших библиотеках:
  • тайпклассы;
  • полиморфизм;
  • рекурсивные схемы;
  • tagless final;
  • overloadable stuff;
  • ...;
• расширения haskell (language extensions);
• библиотеки -- как выбрать, когда несколько; сравнения, скандалы, интриги, расследования;
• системы эффектов в функциональных языках
  • monad transformers, MTL;
  • freer monads;
  • capability;
  • algebraic effects;
  • ...
• зависимые типы (в частности, в применении к спецификации);
• ???.

Семинары (темы и планы)¶

01.11.2019 -- Тайпклассы Haskell и для чего их можно использовать¶

Prerequisites¶

TBD

Мясо¶

TBD

Задания?¶

TBD