В этом ответе от Конора МакБрайда (свинарник) обсуждаются Applicative функторы, которые также...
Я знаю, что класс Applicative описан в теории категорий как "слабый моноидальный функтор", но я...
Я пишу функциональную библиотеку программирования и пытаюсь решить, какое имя лучше всего подходит...
У меня есть AST, который я аннотирую, используя Cofree: data ExprF a = Const Int | Add a a | Mul a...
Кажется, вы можете просто заявить: import qualified Control.Category as Cat instance Cat.Category q...
Hask обычно считается категорией, объекты которой являются типами, а морфизмы - функциями.Однако я...
Я читал, что лямбда-исчисление является языком декартовых закрытых категорий. Насколько я понимаю,...
Я работаю над воссозданием некоторой базовой теории категорий в Haskell и столкнулся с проблемой
В теории категорий, считается ли операция filter морфизмом?Если да, то что это за морфизм?Пример (в...
У меня есть тип t, который поддерживает следующие три операции: extract :: t a -> a duplicate ::...
В своей статье о профессорской оптике , Pickering et al. утверждают, что Термин «профессор»...
Возможно, ни одно из этих утверждений не является категорически точным, но монаду часто определяют...
Scalaz предоставляет метод с именем fold для различных ADT, таких как Boolean, Option[_],...
Каждый раз, когда кто-то обещает «объяснить монады», мой интерес вспыхивает, и его заменяет...
Читая описание Функторов в этом блоге: https://hseeberger.wordpress
Когда я изучал математику, первое, что я сделал, когда узнал о монадах в Хаскеле, было проверка...
Я ищу пакет Javascript, который поможет мне написать диаграммы теории категорий.По сути, создание...
Я хотел бы иметь функцию либо для отображения чистой функции в контейнер, либо для...
Я подумал, что попробую интригующий пакет Представимые-функторы , чтобы определить экземпляр Monad...
Почему список NonEmpty из пакета полугрупп не является также экземпляром класса comonad?
Я могу определить естественное преобразование в Haskell как: h :: [a] -> Maybe a h [] = Nothing...
Да, эти : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control
Я читал про монады в теории категорий. Одно определение монад использует пару сопряженных функторов
Кто первым сказал следующее? Монада - это просто моноид в категория эндофункторов, что такое...
Если вы в последнее время смотрели Going Deep шоу Channel 9 , то одна очень часто упоминаемая тема...