comonad

Имея некоторое представление о , что Comonad typeclass в Haskell, я слышал о comonad магазине. Но глядя на Контроль.Комонад.Магазин.Ленивый , я действительно не понимаю. Что это значит? Для чего он нужен? Я слышал, что магазин = ребристый, двойная состояния монады. Что это значит?...

Что такое Comonad, если это возможно описать в синтаксисе Scala. Я нашелреализацию библиотеки scalaz , но не ясно, где она может быть полезна....

это продолжение ответа на мой предыдущий вопрос. предположим, мне нужно сопоставить каждый элемент a:A на List[A] to b:B С функцией def f(a:A, leftNeighbors:List[A]): B и генерировать List[B]. я не могу просто позвонить map в списке, но я могу использовать список молнии. Молния-это курсор для перемещения по...

Что такое класс Comonad в Haskell? Как в Комонаде от управление.Comonad в пакете comonad (также приветствуются объяснения любых других пакетов, предоставляющих класс Comonad). Я смутно слышал о Comonad, но все, что я действительно знаю об этом, это то, что обеспечивает extract :: w a -> a, что-то вроде пар...

используя типичное определение естественных типов, я определил n-мерную сетку. {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} data Nat = Z | S Nat data U (n :: Nat) x where Point :: x -> U Z x Dimension :: [U n x] -> U n x -> [U ...