Свободу аппликативным функторам! by Roman Cheplyaka

Свободу аппликативным функторам!

• Talk

• 45 m

• #Functional

Просветляющий доклад для ценителей статически типизированного функционального программирования.

В первой части мы вспомним, как работают параметризированные типы и полиморфные функции, и познакомимся с функторами, аппликативными функторами и монадами. (Даже если вы раньше не сталкивались с такими понятиями, этого краткого введения должно быть достаточно, чтобы понять вторую часть доклада. Конечно, общее представление об алгебраических типах данных и классах типов в Haskell весьма желательно.)

Кстати, вы никогда не задумывались, почему монады и аппликативные функторы не получили распространения в объектно-ориентированных языках? Я поделюсь своей теорией на этот счет.

Дальше будет еще интересней. В Haskell, как и во многих других статических языках, есть списки, где все элементы имеют один и тот же тип, и кортежи (tuples), где элементы могут иметь любые типы. Но иногда хочется чего-то среднего — коллекции, где элементы имеют разные, но чем-то похожие типы. О том, когда такие задачи возникают, и как их решать (намек в названии доклада!), мы и поговорим.

Haskell