Семинар » History » Version 1
Denis Buzdalov, 10/30/2019 08:46 PM
| 1 | 1 | Denis Buzdalov | |_Эта страница предназначена для свободного редактирования всеми участниками семинара_ |
|---|---|---|---|
| 2 | _Замечания и дополнения приветствуются_| |
||
| 3 | |||
| 4 | h2. Цели |
||
| 5 | |||
| 6 | * знакомство незнакомых с основопологающими, но нетривиальными возможностями языков с развитой системой типов (например, параметрический и ad-hoc полиморфизм); |
||
| 7 | * знакомство незнакомых с прагматикой функциональных языков, неизвестными приёмами над известными языковыми конструкциями; |
||
| 8 | * приобщение специалистов по спецификации, тестированию и верификации к терминологии, приёмам и техникам функционального программирования. |
||
| 9 | |||
| 10 | h2. Интересные темы и направления |
||
| 11 | |||
| 12 | * объяснение техник, которые используются в наших библиотеках: |
||
| 13 | ** тайпклассы; |
||
| 14 | ** полиморфизм; |
||
| 15 | ** рекурсивные схемы; |
||
| 16 | ** tagless final; |
||
| 17 | ** overloadable stuff; |
||
| 18 | ** ...; |
||
| 19 | * расширения haskell (language extensions); |
||
| 20 | * библиотеки -- как выбрать, когда несколько; сравнения, скандалы, интриги, расследования; |
||
| 21 | * системы эффектов в функциональных языках |
||
| 22 | ** monad transformers, MTL; |
||
| 23 | ** freer monads; |
||
| 24 | ** capability; |
||
| 25 | ** algebraic effects; |
||
| 26 | ** ... |
||
| 27 | * зависимые типы (в частности, в применении к спецификации); |
||
| 28 | * ???. |
||
| 29 | |||
| 30 | h2. Семинары (темы и планы) |
||
| 31 | |||
| 32 | h3. 01.11.2019 -- Тайпклассы Haskell и для чего их можно использовать |
||
| 33 | |||
| 34 | h4. Prerequisites |
||
| 35 | |||
| 36 | TBD |
||
| 37 | |||
| 38 | h4. Мясо |
||
| 39 | |||
| 40 | TBD |
||
| 41 | |||
| 42 | h4. Задания? |
||
| 43 | |||
| 44 | TBD |