Описание тега arrows
Стрелки - это средство моделирования вычислительных эффектов, которые являются более общими и менее мощными, чем монады.
Стрелки, представленные в 2000 году Джоном Хьюзом, предоставляют средства моделирования ряда вычислений более ограниченным образом, чем монады, и, следовательно, открывают дополнительные возможности для анализа и оптимизации. Структуры, индуцированные комбинаторами Arrow, часто рассматриваются как схемы или сборочные линии.