Свободу аппликативным функторам! by Roman Cheplyaka
Speaker |
![]() |
---|---|
Title |
Свободу аппликативным функторам!
|
Type |
|
Duration |
|
Track |
|
Description |
Просветляющий доклад для ценителей статически типизированного функционального программирования. В первой части мы вспомним, как работают параметризированные типы и полиморфные функции, и познакомимся с функторами, аппликативными функторами и монадами. (Даже если вы раньше не сталкивались с такими понятиями, этого краткого введения должно быть достаточно, чтобы понять вторую часть доклада. Конечно, общее представление об алгебраических типах данных и классах типов в Haskell весьма желательно.) Кстати, вы никогда не задумывались, почему монады и аппликативные функторы не получили распространения в объектно-ориентированных языках? Я поделюсь своей теорией на этот счет. Дальше будет еще интересней. В Haskell, как и во многих других статических языках, есть списки, где все элементы имеют один и тот же тип, и кортежи (tuples), где элементы могут иметь любые типы. Но иногда хочется чего-то среднего — коллекции, где элементы имеют разные, но чем-то похожие типы. О том, когда такие задачи возникают, и как их решать (намек в названии доклада!), мы и поговорим. |
Agenda |
|
Constraints and Class Arrangement |
|
Session History |
|
Co-presenter |
|
Tags |
Haskell
|
Last Updated | 12 May 21:24 |