回答情况：
提问时间：
问题标签：
我对Monads和Monoids都是新手，最近也了解了MonadPlus。在我看来，Monoid和MonadPlus都提供了具有关联二元操作和标识的类型。(用数学术语来说，我称之为半群。)那么Monoid和MonadPlus之间的区别是什么呢
浏览 6修改于2021-02-21得票数 24
回答已采纳
出于某种原因，GHC认为我需要在函数MonadPlus中为(ST a)提供一个unify实例，如下所示： return a = BT (\k -> k a) mzero
浏览 6修改于2021-02-20得票数 4
回答已采纳
实例MonadPlus IO是唯一的，因为mzero抛出：*** Exception: user error (mzero)如果当用户打算出错时，它违反了MonadPlus规则，那么它的实际目的是什么？
浏览 1修改于2021-02-20得票数 3
回答已采纳
我尝试这样声明MonadPlus接口： plus : m a -> m a -> m a |When checking type of constructor of Nano
浏览 4修改于2020-08-02得票数 2
回答已采纳
我正在努力理解MonadPlus背后的动机。如果已经有了类型类Monad和Monoid，为什么有必要？(MonadPlus m) => ...(Monad m, Monoid (m a)) => ...它的实施是：guard True = return ()
guard False = mzer
浏览 15修改于2021-02-21得票数 41
回答已采纳
.-- then它们是否意味着可以用MonadPlus来打破MonadPlus，例如- IO Bool？比方说，IO False会打破它.
从一个角度来看，IO也是MonadPlus。也许我必须用其他东西包装我的IO Bool，以实现用IO Bool和MonadPlus破坏forever的可能性？这张便条
浏览 8提问于2022-06-01得票数 6
回答已采纳
return ()
我想知道是否有一种很好的方法可以通过声明MonadPlus或其他方式在IO Monad中获得一个守卫函数(或类似的函数)。
浏览 5修改于2021-02-20得票数 14
回答已采纳
正在阅读haskell wiki一书的monadplus章节：digit i s | i > 9 || i < 0 = Nothing
浏览 7提问于2016-09-04得票数 0
回答已采纳
我目前正在阅读中的Alternative/MonadPlus类型类。它很好地描述了其中的差异。然而，一个令人费解的部分是guard函数，我假设它是用于“短路”计算的。(我说的对吗？):: (Alternative f) => Bool -> f ()guard False = emptym >> mzero = mzero -- r
浏览 5修改于2021-02-20得票数 6
module Parser where
import Tagger[(a,cs)])
instance MonadPlusarising from the superclasses of an instance declar
浏览 5修改于2021-02-20得票数 3
MonadPlus类是Monad的子类，它提供了mzero方法，该方法逻辑地将失败的概念封装在一个单一的单元中。因此，一个库设计人员如果想要编写一些执行某种故障处理的一元代码，可以选择让他的代码使用fail方法，或者将其代码限制在MonadPlus类中，这样他就可以对使用mzero即使他不关心单性组合mplus完全是行动关于这个主题的一些讨论在这个wiki页面中关于改革MonadPlus课程的建议。所以我想我有一个具体的问题： 如果有的话，哪一个单一的例子有一个自然的fail方法，但不能是MonadPlus的实例，因为它们
浏览 334提问于2018-02-06
MonadPlus类是monad的一个子类，它提供了一个mzero方法，该方法在逻辑上将失败的概念封装在Monad中。因此，想要编写一些执行某种故障处理的一元代码的库设计人员可以选择让他的代码在Monad中使用fail方法，或者将他的代码限制在MonadPlus类中，这样他就可以很好地使用mzero，即使他根本不关心一元组合在这个关于的维基页面上有一些关于这个主题的讨论
哪些monad实例(如果有)具有自然的fail方法，但不能是MonadPlus的实例，因为它们没有mplus__的逻辑实现
浏览 40修改于2021-02-20得票数 22
我正在查看MonadPlus类型类的源代码和它的实例，比如Maybe，[]等。我没有找到这些实例的方法- mzero或mplus定义的。下面是MonadPlus的Maybe实例的source code class (Alternative m, Monad m) => MonadPlus m where mplus = (<|>)
instance MonadPlus
浏览 14修改于2021-02-20得票数 1
回答已采纳
如果基本单子是，那么转换后的单子应该是MonadPlus的实例，但是我不知道如何定义MonadPlus实例，以便ErrorT转换器返回多个答案(如果有多个答案的话)。我的两次尝试是在下面的代码中。runMyTrans (f x)
lift m = MyTrans $ lift m
mzero = MyTrans $ lift mz
浏览 3修改于2021-02-20得票数 3
回答已采纳
在之后，我受到了使用FizzBuzz的启发，并发现自己需要一些功能：mwhen b = if b then return
浏览 4修改于2021-02-20得票数 3
回答已采纳
我有以下代码：coin = return 0 `mplus` return 1如果我在解释器上计算coin :: [Int]，它会打印[0, 1]，因为列表中mplus的实现是一个append。
浏览 2修改于2021-02-20得票数 6
回答已采纳
事实证明，MonadPlus可以用来表示类似于ListT完成的任何东西-对。
-- stdinLn :：ListT IO字符串stdinLn :：(MonadTrans t，MonadPlus (t因此，我的问题是:对于管道的消费者部分，ListT和MonadPlus是否具有双重特性？“对偶到ListT”可以推广到“MonadPlus的对偶”
浏览 1修改于2021-02-22得票数 14
回答已采纳
我现在正在通过FieldTrip适配器学习玻璃钢。并以奇怪的帧调度和集成的方式解决了问题。因此，现在我试图构建自己的标记事件来调整行为步进。flipflop :: Behavior String xflip t0 = do return "flip" `mplus` xflop (t+3) t <- with
浏览 2修改于2010-04-26得票数 2
回答已采纳
标准库Haskell MonadPlus、Alternative和Monoid各自提供了两个语义基本相同的方法：
空值：mzero、empty或mempty。
浏览 3修改于2021-02-20得票数 91
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号