这里有一个很棒的教程（链接），它似乎表明Writer Monad基本上是一个特殊情况的元组对象，代表(A,B)。Writer在左侧（即A）累积值，并且A有相应的Monoid（因此可以累积或修改状态）。如果A是一个集合，则它会进行累积。 State Monad也处理内部元组的对象。它们都可以进...

如何使用 scalaz.WriterT 进行日志记录？

也许我没有看到显而易见的事情，但我正在尝试清理一个使用Scalaz 7的项目中的一些样板文件，并且我没有找到一个似乎非常简单和可能有用的拼图。 假设我们有两种类型之间的双向对应关系：case class Foo(x: Int) case class Bar(i: Int) import s...

什么是Comonad？如果可能，请使用Scala语法进行描述。 我发现了scalaz库的实现，但不清楚它在哪里有用。

在将State与Either集成（幻灯片88页）中，给定State层在Either下的模式，是否有推荐的方法来添加另一种类型的状态，例如通过Writer记录日志？似乎新状态必须位于现有State和Either之间，以利用flatMap中Either的快速失败行为。 以下是演示文稿中代码的可运...

scalaz.Validation被认为比Try单子更强大，因为它可以累积错误。 是否有任何情况下您可能会选择Try而不是scalaz.Validation或scalaz.\/ ？

假设我有以下元组：scala> val t1 = Tuple2("abcd", "efg") t1: (java.lang.String, java.lang.String) = (abcd,efg) scala> val t2 = Tuple2(1234, "lmnop") t...

Having (Some(1), Some(2)) I expect to get Some((1, 2)) 并且拥有 (Some(1), None) I expect to get None

假设我想编写一个具有以下签名的方法：def parse(input: List[(String, String)]): ValidationNel[Throwable, List[(Int, Int)]] 对于输入中的每对字符串，需要验证两个元素是否都可以解析为整数，并且第一个元素小于第二...

在 Scalaz 中： Kleisli[F, A, B] 是 A => F[B] 的封装器。 ReaderT[F, A, B] -- 读取器单子转换器 -- 只是 Kleisli[F, A, B] 的别名。 Reader[A, B] 单子是使用恒等单子 Id 特化的 ReaderT，...