回答情况：
提问时间：
问题标签：
x >>= f是否等同于retract (liftF x >>= liftF . f)
也就是说，从函数器构建的免费Monad的monad实例是否将具有与原始monad相同的Monad实例？
浏览 2提问于2013-02-07得票数 16
回答已采纳
有方法(>>=) :: forall a b. m a -> (a -> m b) -> m b。我如何使方法:: forall a b. m (n a) -> (a -> m (n b)) -> m (n b)，其中m和n是单。
浏览 1修改于2017-11-30得票数 1
回答已采纳
我想知道IO Monad和Reader monad之间有什么关系吗？ Reader monad中的环境会产生影响吗？如果是这样，ZIO或Cats IO，scalaz-effects如何处理Reader Monad原则？
浏览 14提问于2019-07-04得票数 1
回答已采纳
f = VS.create $ do VSM.unsafeWith v f现在，VSM.unsafeWith返回一个IO，这是在ST MonadVSM.IOVector Float)知道吗，我怎样才能把unsafeWith转换成正确的Monad
浏览 1提问于2022-01-21得票数 0
回答已采纳
Reader[DEP, B]): Reader[DEP, B] = Reader(dep => f(apply(dep)) apply dep)但是，我在实现它时遇到了一些限制，例如，一些通用的Monadtrait Monad[A] {}
让我们暂时忘
浏览 1提问于2017-02-05得票数 2
回答已采纳
“Monad允许程序员使用顺序构建块来构建计算”，因此它允许我们组合一些计算。如果是这样的话，为什么不能运行下面的代码？import Control.Monad.Trans.State
gt = do putStrLn "HI" -
浏览 0修改于2017-07-13得票数 4
回答已采纳
我读到(例如和)所有的基本单体(Mabye，Error，.)从它们相应的单端变压器(MaybeT，ErrorT，.)导出。使用标识单Identity。一个例子是：但是，这当然不会导致Maybe a的构造函数。在中，MaybeT被定义为newtype MaybeT m a = MaybeT (m (Maybe a))。可以与之匹配的构造函数？
浏览 7修改于2017-05-23得票数 3
回答已采纳
在APL和Haskell中，monad是指两个完全不同的事物，还是从两个不同的角度来看相同的事物。
我对这两种语言都很陌生，并试图理解更高层次的概念。
浏览 9提问于2014-05-06得票数 10
回答已采纳
这就是我要做的：import qualified Data.Text as TimportControl.Monadimport Control.Applicative
printMessages :: WebSockets Hybi00有没有办法让我在IO monad中运行printMessages？
浏览 0提问于2013-05-09得票数 5
回答已采纳
我正在尝试编写一个新的monad，它只能包含一个数字。当它失败时，它返回0，就像当它失败时可能monad不返回任何东西一样。这是我到目前为止所知道的： return x = IDnum x fail _ = return 0No instance for (Num a) arising from a use of `IDnum'
它建议我在每
浏览 2提问于2014-03-11得票数 8
1回答
问题据我理解，Monad是：
UNIX命令
我认为UNIX命令--例如cat、grep --是可以链接的函数，但并不意味着它们是Monad，也不是Monad，因为它们没有返回/单元，也不是数据类型。还是仍然被认为是IO Monad
浏览 0提问于2019-11-10得票数 1
我有一个用于计算的monad，它可能会失败并执行一些日志记录：我有一个函数，它不会失败，但会做一些日志记录：使用f2中的日志更新f1中的写入器monad并捕获f2计算的输出的最佳方法是什么？目前我正在做这件事：我正在使用lift用不同的计算更新内部的monad，所以切换Wri
浏览 1提问于2012-03-14得票数 7
回答已采纳
这是一个问题，因为我必须混合Gen和IO monad。有没有办法把Gen a转换成IO a？
我找到了函数。这就是我想要的。但它不能用于导入。
浏览 0提问于2014-12-10得票数 0
我正在用以下数据类型实现一个非常简单的穷人并发结构：我正在为此创建一个monad实例： (>>=) (Atomic m) f = Atomic $ (liftM (>>= f) m)
(>>=) (Done v) fAtomic $ (liftM (>>= f) m)正在创建一个新的Atomic monad
浏览 4修改于2017-03-16得票数 2
回答已采纳
我理解a) monad，b) IO monad，c) Cont monad ()，d) 延拓转换器monad。(我模糊地理解单台变压器-尽管不足以回答这个问题。)基本上，我想用延续风格编写整个程序，但只在必要时使用IO monad (就像在“常规”Haskell代码中，我只在必要时使用IO monad )。现在，我已经知道了如何使用延续monad完全编写这段代码，但我也需要通过bar线程IO：foo n
浏览 10提问于2011-07-06得票数 9
回答已采纳
1回答
：data GraphAMT a = GraphAMT_ [[Block a]]instance Monadreturn a = Value a Value a >>= f = f a
instance Monad我想知道GraphAMT是否可以成为monad？如果是，那么如何构建它呢？
浏览 1提问于2012-11-24得票数 2
回答已采纳
我一直在读西蒙·马洛( Simon Marlow )的“Haskell中的并行和并发的Progaramming”(顺便说一句)他说Eval Monad只并行地评估延迟的数据结构，而Par Monad是为了避免依赖懒惰的评估而创建的那么，除了与Eval Monad相关的不同编程模型之外，Par Monad的价值命题是什么？
浏览 2修改于2014-04-27得票数 11
回答已采纳
我有一个名为TaskMonad的Monad，定义如下：newtypeTask m a = Task { runTask :: m (TaskMonad a) }
我对Functor
浏览 4提问于2016-04-25得票数 2
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号