comonad

5зной

1ответ

Как я должен использовать таблицу Cayley в Haskell?

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

math haskell abstraction comonad 2012-02-15

---

1зной

1ответ

Haskell междусобойчик Реактивной ошибка пакета

При попытке установить реагирующим с интригой, я получаю это: src/FRP/Reactive/PrimReactive.hs:79:8: Could not find module `Control.Comonad' It is a member of the hidden package `comonad-1.1

haskell cabal comonad 2012-07-24

---

3зной

1ответ

Питовое резюме для comonad. (Где монада является «типом для нечистых вычислений»)

В терминах содержательных резюме - this description of Monads seems to win - описывая их как «тип для нечистых вычислений». Что такое эквивалентное описание одного коментария (одно предложение)?

monads category-theory comonad 2013-07-11

---

2зной

1ответ

Подводное резюме для codata (где comonad является «типом для входной примеси»)

С точки зрения содержательных резюме - this description of Comonads, похоже, побеждает - описывая их как «тип входной примеси». Что такое эквивалентное описание (одно предложение) для codata?

monads comonad codata 2013-07-11

---

4зной

1ответ

Развернутый экземпляр для cofree comonad

Я пытаюсь выяснить разницу между unfold/coiter от Control.Comonad.Cofree и unfold/ana от Data.Control.Fixedpoint. Библиотеки хакеров - соответственно. free и recursion-schemes. Cofree и Fix, кажется,

haskell comonad unfold 2013-08-30

---

28зной

1ответ

Является ли цепочка функцией в underscore.js, создающей монаду?

В the chain documentation вы найдете: Вызов chain на обернутый объект будет вызывать все будущие вызовы методов вернуть завернутые объекты. Когда вы закончите вычисление , используйте value для получе

haskell functional-programming monads underscore.js comonad 2012-05-03

---