MonoidK和Monad关系

文章/答案/技术大牛

发布

1回答

scala、scala-cats、category-theory

我正在尝试理解著名的短语A monad is just a monoid in the category of endofunctors，并将一些范畴理论概念映射到cats库中。在cats中有一个MonoidK类型类，它在combineK方法中是多态的。因此，如果我们用functor参数化它，那么这个类型类的一个实例看起来就像是endofuctors类别中的monoid。如果我们假设我们只能通过函数式将MonoidK参数化，那么从范畴论的角度来看，MonoidK和Monad有什么不同呢？

浏览 12提问于2019-04-19得票数 4

回答已采纳

1回答

可遍历foldLeft的函数参数导致类型失配

scala

)((accum, el) => builder(el))与scala 2.11.8和2.12.1def f[V, M[_] : Foldable : Alternative](ei: M[V]): M[V] = { (accum, el) => <e

浏览 1提问于2017-06-12得票数 1

回答已采纳

1回答

蒙太斯在实践中的表现

scala、functional-programming、monads

我试图用更实际的方法来理解单子和单子座之间的关系。如果这个问题没有意义的话，我会提前道歉，我还在挣扎。例如，假设我有： def zero: T}trait Monad[+M[_]] { def bind[A, B](m: M[A])(f: A => M[B]): M[B]是否有一种关系可以建立在Monad和

浏览 0提问于2017-01-09得票数 5

回答已采纳

1回答

Scala：`m: util.AbstractMap[_，_]` vs `m: util.AbstractMap`？

scala

m: util.AbstractMap[_, _]和m: util.AbstractMap之间的区别是什么 PS。我认为这个问题适用于任何集合，而不仅仅是这个。

浏览 1提问于2016-01-20得票数 0

1回答

IO Monad vs Reader Monad

scalaz、scala-cats、cats-effect、zio

我想知道IO Monad和Reader monad之间有什么关系吗？ Reader monad中的环境会产生影响吗？如果是这样，ZIO或Cats IO，scalaz-effects如何处理Reader Monad原则？

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

回答已采纳

4回答

在Scala中，究竟是什么使选项成为单一的呢？

scala、haskell、functional-programming、monads、option-type

在Haskell中，monad Maybe是monad，因为它是从Monad类实例化的(Monad类至少有两个必需的函数-- return和bind，这使得类Monad，实际上是一个monad)。Option[+A] extends Product with Serializable { ... }和单曲没有任何关系如果我在Scala中创建我

浏览 6提问于2014-08-18得票数 38

回答已采纳

1回答

半群与SemigroupK的区别

scala、scala-cats

在cats中有两个半群类型类：Semigroup和SemigroupK，后者处理类型构造函数。我看不出后者比前者有什么好处。如果我查看列表实例，它们提供的是Monoid (尽管有一个MonoidK)，而NonEmptyList提供的是一个SemigroupK。因此，给定一个类型的T[_]，如果同时拥有一个SemigroupK[T]和一个Semigroup[T[A]] for some A，您会得到什么好处？编辑现在有一个问题需要删除MonoidK和SemigroupK：

浏览 2提问于2016-11-07得票数 5

1回答

如何将F[[A，B]]转换为[F[A]，F[B]]

scala、scala-cats

一些背景:猫中有一个.separate函数，它允许我从F[Either[A, B]]中提取元组(F[A], F[B])。考虑到这一点，我们可以很容易地构造Either[F[A], F[B]] --假设我们可以检查F是否为空(单样体可以吗？)列表的代码可能如下所示l.separate match { case (lefts, _) => Left(lefts)但这似乎是一个更普遍的概念，但我不太清楚这是什么。它看起来有点像.seque

浏览 0提问于2019-07-12得票数 2

回答已采纳

2回答

函子、应用函子和单子的关系

haskell

在阅读类型类时，我看到函子、应用函子和单子之间的关系是严格增加幂的关系。函子是可以映射的类型。应用函子可以做同样的事情，具有一定的效果。单元化与可能的非限制性效果相同。此外：Every Applicative Functor is a FunctorclassFunctor f => Applicative f where (<*>) ::

浏览 2提问于2011-12-28得票数 35

回答已采纳

3回答

可折叠、Monoid和Monad

haskell、category-theory、foldable

foldMap的以下签名这非常类似于"bind"，只是交换了参数：因此，在我看来，Foldable、Monoid和Monad之间一定存在某种关系，但我在超类中找不到它。这种关系可能是详细的吗？

浏览 5提问于2016-10-10得票数 27

2回答

理解单一实例

haskell、monads

我有这个Haskell代码部分： returnnewstate, val) = f oldstate; in f' newstate) 我刚接触过monad，但我想我了解了return和bind在一般情况下是如何工作的。但在上面的例子中，我遇到了很多问

浏览 6提问于2012-06-05得票数 4

回答已采纳

1回答

函子->应用->单层次结构的意义是什么？

haskell、monads、functor、applicative、default-method

使函子成为应用程序和Monad的超级类的意义是什么？据我所知，应用程序和Monad都立即暗示了遵守法律的函子的唯一实现。相反，我必须每次输入相同的函子实现。有办法避免这样做吗？此外，Monad还意味着唯一遵守法律的应用程序的实现，那么为什么使应用程序成为Monad的超类呢？同样，它使得新数据类型的实现是多余的。是否有一种不需要实现应用程序和函式(因为它的操作已经是最通用的)的方法来创建Monad。在不需要实现函子的情况下进行应用。我看到了类层次结构的

浏览 7提问于2022-01-02得票数 5

回答已采纳

1回答

使用`=>`算子时出现的Typeclass混乱？

haskell、syntax、typeclass、functional-dependencies

但是，我不理解=>操作符在这个类型化声明中的用法：这是否使MonadReader类与Monad类相关？

浏览 5提问于2017-02-12得票数 1

回答已采纳

1回答

单片变压器的解剖

haskell、monads、monad-transformers

我认为我注意到的是每个单台转换器定义的公共结构： -MonadIO instance - instances for other 'BaseT's例如，对于Writer monad，应该有：带有Monad实例的Writer数据类型/newtype&#

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

1回答

Haskell -你能有一个不是应用函子的单子吗？

haskell、monads、fam-proposal

在Haskell7.7编译器输出中，我看到了以下内容(另一个示例)： ‘’Parser‘是Monad的一个实例，但不是应用性的--这将成为GHC 7.10中的一个错误，根据应用-Monad的建议。

浏览 5提问于2013-11-17得票数 9

回答已采纳

3回答

您能否仅使用列表单片来确定列表的最小或最大？

haskell、monads、foldable

试图理解Monad和折叠之间的关系。我知道Monad、应用程序和函子类型的部分价值是它们将函数提升到结构之上的能力，但是如果我想为Monad中包含的值生成一个摘要值(例如min或max)怎么办？

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

回答已采纳

2回答

IdentityT转换器的用途是什么？

haskell、monads、monad-transformers

在浏览transformer包时，我发现了一个名为的monad转换器。尽管我了解Identity monad是如何使用的(例如，State只是StateT Identity的别名)，以及monad转换器的一般工作原理，但我不知道这与IdentityT有什么关系。

浏览 0提问于2012-02-03得票数 12

回答已采纳

1回答

如何实现自定义Monad实例，特别是对于IObservable在FSharpPlus中？

f#、system.reactive、monads、f#+

提供了和几个monad转换器，我想在FSharpPlus的monad CE中使用ReaderT<'a, IObservable<'b>>，这需要定义IObservable的monad实例。所需代码的一个示例是 monad { let!n = x } 防止与函子的无意

浏览 3提问于2021-06-30得票数 0

回答已采纳

3回答

ST monad是如何工作的？

haskell、monads

我知道ST monad有点像IO的弟弟，IO反过来又是增加了RealWorld魔力的状态monad。我可以想象状态，我可以想象RealWorld以某种方式被放入IO中，但每次我编写ST的类型签名时，ST monad的s都会让我感到困惑。我只是在抛出一些想法，真的很感谢比我更有知识的人给我解释一下。

浏览 4提问于2012-09-18得票数 80

回答已采纳

1回答

haskell在多个包中找到Control.Monad.Writer

haskell、ghc、cabal、hackage

我试图像这样导入Control.Monad.Writer模块：ghc版本7.4.1提供了以下错误： it was found in multiple packages: monads-tf-0.1.0.1 mtl-2.1.1这是阴谋集团和ghc的标准配置吗？如果是这样的话:

浏览 0提问于2014-01-15得票数 6

回答已采纳

点击加载更多