作为一名数学系的学生，当我在Haskell中了解到单子时，我做的第一件事就是检查它们是否真的是我所知道的单子。但后来我了解了monad transformers，而这些似乎不是范畴理论中研究的东西。特别是，我希望它们与分配法则相关，但它们似乎真的不同: monad transformer被期望应用于任意monad，而分配法则是monad和特定的其他monad之间的事情。此外，看看monad转换器的常见示例，虽然MaybeT m使用Maybe合成m，但StateT m不是
浏览 1提问于2011-07-28得票数 31
1回答
我见过人们用解释器谈论免费Monad，特别是在数据访问的背景下。这个图案是什么？我什么时候可以用它？它是如何工作的，我将如何实现它？
我理解(从这这样的帖子中)，它是关于将模型与数据访问分离的。
浏览 0提问于2014-06-02得票数 102
回答已采纳
1回答
我一直在努力对Agda中的Monad打字机进行编码。我已经走了这么远： record Monad (M : Set → Set) : Set1 where return : {A: Set} → A → M A所以Monad‘实例’实际上只是传递函数的记录。问题:为什么Monad Set1**?我应该经过什么
浏览 2提问于2016-06-01得票数 1
回答已采纳
2回答
如果我检查kind of Maybe，就会得到以下结果：Maybe :: * -> *λ> :k MonadConstraint在那里是什么?为什么需要它？为什么不只是这个* -> *？
浏览 3提问于2015-04-08得票数 9
回答已采纳
在用monad变压器构建一个用于编写库的monad堆栈时，我遇到了一个关于它的行为的问题。Int)
foo = do return x$ ghc foo.hs add (Monad m) to the context of In a值，并且它已经是一个(自
浏览 3提问于2014-08-29得票数 1
回答已采纳
4回答
我知道单簧管是什么以及如何使用它们。我不明白的是，做了什么，比方说，Option是一个单曲？在Haskell中，monad Maybe是monad，因为它是从Monad类实例化的(Monad类至少有两个必需的函数-- return和bind，这使得类Monad，实际上是一个monad)。如果我在Scala中创建我自己的类，默认情况下它会是一个monad吗？为<em
浏览 6提问于2014-08-18得票数 38
回答已采纳
1回答
在类中： -- | Lift a computation from the argument monad to the constructedmonad.lift :: Monad m => m a -> t m a{-# LANGUAGE MultiParamTypeClasses #-}
class Monad (t m) => Mo
浏览 0提问于2012-12-03得票数 14
回答已采纳
和据说延续Monad解决了回调地狱。如果这三个工具都解决了回调地狱，那么下面的问题就出现了：如果RX不是= Cont。那么RX和延续Monad之间的区别是什么？
同样，FRP和延续Monad之间的区别是什么？换句话说，假设读者知道FRP或RX是什么，那么读者如何容易地理解延续Monad是什么</em
浏览 4提问于2015-09-26得票数 5
1回答
我正在使用Don的软件包和，它们通常速度快得惊人，而且是，就像使用非严格的状态单子一样。import Data.Intimport Control.Monad.Mersenne.Random
浏览 4提问于2013-11-13得票数 8
回答已采纳
我正在用Scala开发没有类型类的Monad。我对monad有以下特点： trait Monad[M[_], A] {}} 然后，我实现了identity monad： case class Id[A](a: A) extends Monad[Id, A] {
override最后，我必须在Monad上创
浏览 28提问于2021-02-04得票数 0
回答已采纳
有人能解释一下为什么flatMap()和map()不同，唯一的区别是前者接受带有Maybe的lambda作为返回值吗？我完全理解为什么数组可以“扁平化”，但我不能将“扁平化”的含义应用于monads。
浏览 10提问于2018-08-29得票数 0
回答已采纳
2回答
提交人提到了以下情况：
单模f => f a -> (a -> f b) -> f b Monad g => g a -> (a -> g b)-> g b
从这些，我们试图
浏览 4提问于2017-10-19得票数 4
回答已采纳
1回答
以下是我所拥有的： def run()(implicit M: Monad[F]): F[Unit] = Stream.runHalt extends Stream[Nothing, Nothing]
private def run[F[_], T](stream: Stream[F, T])(implicit M: Monad[F] of value M def run()(implicit M: Monad[F]): F[Uni
浏览 0提问于2018-05-30得票数 1
回答已采纳
1回答
我的代码是： def doSomething:Out[String] =monad:Monad[Out], pipe: ~>[In, Out]) {
= nt.apply(value)
implicit
浏览 2提问于2015-04-09得票数 0
回答已采纳
我在前奏中尝试了下面的代码片段：结果得到了一个空的[]。然后，我将一个空列表转换为monad结构：*ExerciseMonad Control.Monad> :t xx :: Monad m => m [t]
返回值封装在Monad结构中。这似乎是一种魔力，我
浏览 0提问于2017-08-10得票数 2
回答已采纳
所以，几个月过去了，我有点生疏了，但我似乎记得Either b是一个Monad No instance for (MonadIn an equation for `it': i
浏览 0提问于2012-09-14得票数 1
回答已采纳
1回答
我想知道IO Monad和Reader monad之间有什么关系吗？ Reader monad中的环境会产生影响吗？如果是这样，ZIO或Cats IO，scalaz-effects如何处理Reader Monad原则？
浏览 14提问于2019-07-04得票数 1
回答已采纳
1回答
通过在我的C#代码中组合，我最终得到了一个类型其中，可能是选项单子，IObservable是反应性单子。注意:我希望保留由“可能”所包含的“什么都看不到”的事件。我不想让它完全扁平化，这样我只在T的实例可用时才能看到事件。T Maybe<T>.Else(T v)提取选项monad中包含的值，如果没有包含值，则提供一个替代选项。
考虑到命名最困难的事情是CS，我正在为这个扁
浏览 0提问于2014-06-17得票数 0
云服务器
对象存储
ICP备案
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号