Часто у вас есть что-то вроде Applicative без pure или что-то вроде Monad , но без return . Пакет semigroupoid охватывает эти случаи с Apply и Bind . Теперь я нахожусь в похожей ситуации с Arrow , где я не могу определить осмысленную...

Как (если вообще) экспоненциальная интерпретация (->) ( a -> b как b a ) распространяется на категории, отличные от Hask/Set? Например, может показаться, что интерпретация категории недетерминированных функций примерно Kliesli [] a b как...

На прошлой неделе я пытался понять некоторые из «основных» типов и классов типов Haskell (но в общей сложности изучаю Haskell не более двух недель) и обнаружил кое-что, что меня беспокоит: «Полугруппоид» - это обобщение «Категории», означающее,...

Я понимаю, что стрелка — это профунктор, в котором можно преобразовывать входные и выходные данные, но можно ли сопоставить стрелку поверх функтора? Я понимаю, что в ответ на вопрос "нет", поскольку сигнатура типа функции fmap имеет значение...

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