July 12th, 2011

glider

Композиции вычислений в функциональном стиле

На текущий момент в ФП меня больше всего интригуют изящные способы композиции вычислений. Самый простой пример - ФВП. Еще сюда же различные категорные вещи - аппликативные функторы, монады, комонады, стрелки. Также сюда можно отнести и поинт-фри.

Интуитивно я чувствую, что все вышеназванное можно как-то загнать в некоторую онтологию, но как именно - не знаю.

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