arrows

По-видимому, каждый Arrow является Strong профунктор. Действительно ^>> и >>^ соответствуют lmap и rmap. А first' и second' - это то же самое, что first и second. Аналогично каждый ArrowChoice также является Choice. Чего не хватает профункторам по сравнению со стрелками, так это умения их составл...

Я смотрю на функторы, прикладные функторы... я не знаю, как попасть туда, куда я хочу, но у меня есть чувство, что следование типам должно приблизить меня. Существует ли простой способ сделать map-подобным, который применим только к первому элементу 2-кортежа? Взяв first из Control.Arrow и используя Arrow (-...

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