回答情况：
提问时间：
问题标签：
trait Comonad[M[_]] { def >>[A,B](a: M[A])(f: A => B): M[B]
def cojoin[A](a: M[A]): M[M[A]]
implicit def listComonad[A]: Comonad</
浏览 0提问于2013-06-23得票数 3
回答已采纳
那么，鉴于comonad的这种编码(见下文)，上面的comonad法则是正确的吗？/** * Comonad Laws * (i) counit(cojoin* (iii) cojoin(cojoin(m)) == >>(cojoin(m))(cojoin) */
trait Comonad
浏览 6修改于2013-07-14得票数 4
这是我到现在为止拥有的： open import Data.Product
Store : Set → Set → ((Set
浏览 4修改于2020-10-07得票数 1
回答已采纳
Functor f => Extend f where (f a -> b) -> f b 我是这样定义<$$>的： (<$$>) ::
Comonad
浏览 9提问于2019-01-23得票数 7
回答已采纳
{-# language DeriveFunctor #-}module WFix where
import Control.Monad.Fix好了，我已经完成了基本的修复工作，是时候转向comonad类型了！
浏览 4修改于2019-07-07得票数 3
回答已采纳
1回答
行为是Comonad吗?如果是的话，那实际上是什么意思？换句话说，如果我们有一个行为，随着时间的推移具有这些值：A,B,C,D,...
浏览 18提问于2018-08-23得票数 5
Haskell中的Comonad类型类是什么？与来自的Comonad一样(也欢迎对提供Comonad类型类的任何其他包进行解释)。我隐约听说过Comonad，但我真正知道的是它提供了extract :: w a -> a，类似于Monad的return :: a -> m a。注意到Comonad在“真实”代码中的“现实生活”用法的加分。
浏览 0提问于2011-12-08得票数 108
回答已采纳
可代表商店Comonad和商店Comonad提供了类似的功能...什么时候我们应该使用一种而不是另一种，好处是什么？
浏览 10修改于2019-01-26得票数 3
回答已采纳
CyclicList aadvance (CL x (z:zs)) = CL z (zs ++ [x]) helper n cl' = cl' : (helper (n-1) $ advance cl') extract (CL x _) = x
duplicate = c
浏览 6修改于2014-09-05得票数 6
对有一定的了解，我听说过商店的comonad。但是看看，我真的不明白。什么意思？它是用来做什么的？我听说商店= CoState，国家Monad的对偶。那是什么意思？
浏览 0修改于2017-05-23得票数 46
回答已采纳
我正在试图找出unfold/coiter与unfold/ana来自Control.Comonad.Cofree和unfold/ana来自Data.Control.Fixedpoint的区别。
浏览 1提问于2013-08-30得票数 4
回答已采纳
list monad是。另请参阅Spivak的。所以list是一个monad。是不是一杯鸡尾酒？你怎么证明这一点呢？
浏览 2提问于2016-04-21得票数 0
cobind[A](f:Zipper[A] => B):Zipper[B]和bind[A](f:A => List[B]):List[B]之间的对称性，这就是为什么List是Monad而Zipper是Comonad
浏览 22修改于2017-05-23得票数 113
回答已采纳
在 2005中，我们阅读了幻灯片32：
的好处是
所以我们需要所有可能的拉链超过原来的组！
浏览 2提问于2014-08-19得票数 5
回答已采纳
但是，我想我应该深入研究一下这个主题，考虑一下泛型list类型的comonad实例(你知道，[a])是什么样子的，然后我发现了一个我不完全知道的东西。因此，给出博客帖子使用的实例： (=>>) :: w a -> (w a -> b) -> w b cojoin :: w a -> w (w a)
我认为[a]的实例声明应该是这样的( [a]的语法可能是不可能的，也可能是错误的，但
浏览 4提问于2012-09-22得票数 15
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号