猫Monad变形金刚

文章/答案/技术大牛

发布

0回答

scala、scala-cats

我正在尝试学习如何在cats库中使用MonadTransformers嵌套monads。这是我写的代码import cats.instances.list._ type ErrorEither[A] = Either[String, A] val

浏览 0提问于2016-12-31得票数 2

回答已采纳

2回答

正式调用的monad绑定操作的参数是什么？

haskell、naming-conventions

例如，在list monad绑定操作中：这个参数f叫什么？活页夹？mapper？变形金刚？

浏览 4提问于2014-02-20得票数 8

1回答

在Scala中再现Haskell的“复制M”行为

scala、monads、traits

例如，我试图用Scala中的replicateM从Control.Monad中编写类似的东西。

浏览 1提问于2014-10-29得票数 3

回答已采纳

1回答

为什么单曲在构图中不是封闭的？

haskell、monads、composition、monad-transformers

所以我们用Monad变形金刚。我只是不想读Monad变形金刚，除非我明白为什么单曲不作曲。到目前为止，我尝试编写这样的bind函数：(>>=) :: Compose f g a -> (a -> Compose f g b) -> Compose f g b (Compose

浏览 1提问于2019-03-07得票数 14

回答已采纳

1回答

克莱斯里怎么会是个单台变压器？

scala、functional-programming、monads、monad-transformers

猫中Monad变形金刚的一些定义。我理解“读者Monad”，以及Kleisli是如何泛化的。我不明白的是下面这句话，它说它是一个单变压器。我们到底在堆叠什么？

浏览 3提问于2020-10-10得票数 1

回答已采纳

2回答

为什么ContT不处理内部单点呢？

haskell、monad-transformers

ContT的绑定策略忽略了内部monad，实际上代码与Cont相同。按照其他Monad变形金刚的类比，我会以这样的方式实现：(>>=) x f = ContT (\k -> runContT x ((=<为什么它是以这种方式实现的，这使得它与其他Monad Transformers非常不同，请注意函子实例是：而不是： fmap f m =

浏览 1提问于2015-01-20得票数 5

回答已采纳

1回答

我是Haskell的新手，但我明白Monad变形金刚是如何使用的。然而，我仍然很难抓住他们声称的优势，而不是传递参数来进行函数调用。我怀疑Monad变形金刚有兴趣当你把很多功能/模块缝合在一起形成一个应用程序。但我的理解到此为止了。谁来点明灯好吗？(编辑: Real Haskell说".这种方法是Monad Transformers .扩展到更大的程序“，但没有明确的例子证明这一说法)Chris完美地解释了为什么封装在变压器中，Monad

浏览 5提问于2012-10-19得票数 53

回答已采纳

1回答

我如何使一个可能的变压器MaybeT成为一个MonadWriter的实例？

typeclass、monad-transformers、haskell

我正在尝试建立一个MaybeT变压器Monad，基于真实世界Haskell，章节Monad变形金刚中的例子。data MaybeT m a = MaybeT { runMT :: m (Maybe a) } m >

浏览 2提问于2010-05-01得票数 4

回答已采纳

3回答

Scala简化嵌套monads

scala、monads、monad-transformers

基本上是它的嵌套框(类似于Option的monad )。如果可能的话，我想把它简化一点。最好添加类型参数，以便在需要时可以很容易地将其更改为字符串或双精度。Monad变形金刚？

浏览 1提问于2012-08-20得票数 2

1回答

haskell中的多参数上下文约束

haskell、typeclass

我目前正在阅读马丁·格拉布米勒的“Monad变形金刚”。

浏览 0提问于2018-11-10得票数 1

回答已采纳

1回答

单片变压器的解剖

haskell、monads、monad-transformers

变形金刚？不知道我下载的Haskell平台-7.4.1附带的是哪一个)。我认为我注意到的是每个单台转换器定义的公共结构： -MonadIO instance - instances for other 'BaseT's例如，对于Writer monad，应该有：

浏览 2提问于2012-11-28得票数 10

1回答

这是什么？类型？

scala、scala-cats

我正在尝试为具有多个类型参数的类型实现cats Monad实例。我查看了猫Either实例，看看它是如何在那里完成的。从猫中复制的Either Monad实例代码的一部分如下： implicit def instance[A]: Monad= new Monad[Either[A, ?]]

浏览 4提问于2015-12-20得票数 7

回答已采纳

1回答

Monad Stack穿透类与免费/操作Monad变形金刚？

haskell、monad-transformers、free-monad

然后有几个人发明了monad类，这样我们就可以在任何单一的ask :: m r中创建MonadReader r m。为了理解这个问题，我制作了两个ProgramT，并使它们相互渗透；不过，instance (Monad m, Operational ILang m) => Operational ILang (ProgramT SLang m) where 因为以下形式的一般声明会导致无法判定的实例i

浏览 2提问于2013-07-30得票数 22

回答已采纳

1回答

来自MonadIO内部的“捕获”

haskell、exception-handling

谢谢, 编辑:那么，托马斯的答案很好，但我也想知道还有什么其他的选择，我使用IO异常而不是ErrorT的主要目的是性能，我在Control.Monad.IO.Control之后获得了一些性能(443389条蜱对318552条蜱)，还有更好的替代Control.Monad.IO.Control的方法吗？

浏览 2提问于2013-07-08得票数 6

回答已采纳

3回答

嵌套表达式

scala

for { y <- for { a <- g(x, 25) } yield a我推测我可以用Monad变形金刚，但我不明白。

浏览 3提问于2015-07-09得票数 3

回答已采纳

2回答

在Haskell中使用函数依赖项时满足'A唯一决定B‘的条件

haskell、ghc、functional-dependencies

我正试着写一个“记录器”Monad转换器。其他monad变形金刚将被应用于此，形成一个更复杂的单片。我希望记录器函数能在所有这些单子上工作，所以我编写了一个类型类型如下。monad一样)，它代表消息类型。data ET e m a = ET { ... } logMessage msg = ... instanceMonad m => Logger e (ET e m)

浏览 1提问于2018-02-07得票数 2

回答已采纳

1回答