кодировать потоки данных, например https://www.haskell.org/arrows/ а также можно кодировать логические и электрические схемы
Одно из применений: обобщить функции так, чтобы какой-нибудь пайплайн состоял не только из функций, но и похожих на функции рецептов, которые можно как-нибудь распечатать, нарисовать, соптмизировать, и т. п.
https://hackage.haskell.org/package/needle-0.1.0.1/docs/Control-Arrow-Needle.html
красивое
почему проклято?
Выглядит ну уж очень страшно
Most questions should be answered by a short example:
кстати, да, стрелки, как и монады, могут выражать "функции с эффектами", но их можно сделать не только комозируемыми, но и, в отличие от монад, декомпозируемыми
вот это уже интересненько
лучше сразу профункторы
Каналы с мемами?
https://hackage.haskell.org/package/profunctors
Тоже хочу послушать про днкомпозируемость
https://www.youtube.com/watch?v=FVhyF2DS9lg
Обсуждают сегодня