Scalaz为Scala提供类型类和纯函数数据结构
我最近加入了一家新公司，并被分配到一个使用Scala、SNMP、Akka Framework、Kafka、Kubernetes和Spark等技术的项目。随着 Lightbend 最近的变化...
阅读 Scalaz 和 Cats 的文档，我注意到它们经常在泛型/多态字段中使用 => 。例如，在应用程序的 scalaz 页面上，它具有以下内容
我知道这完全是一个无意义的问题，但由于我对编程技能的文盲，这个问题浮现在我的脑海中。 使用 Cats 和 scalaz，以便我们可以在 Scala 中编写类似于 Haskell/pure 的代码
scalaz怎么能做到 "A / B"，我怎么能做到自己的 "B.? "或 "A <?>B"
我对scala implicits比较陌生，但如果我想做5. ？ 我可以这样做： class MyInt(int: Int) { / 无用的，只是想说明一点 def ? ? : Int = int * 100 } implicit def ...
在Cats中，我可以做import cats.Eq implicit val eq: Eq[Foo] = Eq.fromUniversalEquals[Foo] 我如何使用Scalaz (7.3.1)做这个？我试着用回帖中的例子来做，但是得到了一个编译 ...
对于单声道M，是否可以将A => M [B]转换为M [A => B]？我尝试遵循这些类型都无济于事，这使我认为这是不可能的，但是我还是想问一下。另外，搜索...
我刚刚开始评估ZIO，以改善编程模型和异步Scala代码的性能。在我的代码库中，我经常处理Future [Option [T]]，到目前为止，我已经处理过...
示例使用案例：def div2（i：Int）：Validation [String，Int] = if（i％2 == 0）Validation.success（i / 2）else Validation.failure（“ odd”）def div4 （i：Int）=对于{a
我相信scalaz对于Map和SortedMap都具有monoid实例。但这不起作用scala> import scalaz._，Scalaz._ import scalaz._ import Scalaz._ scala> Map（1-> 1）| + |映射（1-> ...
这些天我正在学习scalaz。当将scalaz与Haskell进行比较时，我发现很难定制自己的monad转换器。我可以在Haskell中执行的代码如下：newtype Box a = Box a ...
Scalaz迭代：“举起” EnumeratorT以匹配“ IterateeT”以获得“更大”的单子组
[如果我有一个EnumeratorT和相应的IterateeT，则可以一起运行它们：val zh：EnumeratorT [String，Task] = EnumeratorT.enumList（List（“ a”，“ b”，“ c”））val：IterateeT [String，Task，Int] = ...
比方说，我已经定义了缓存计算的类型类。特质缓存[F [_]，A] {Def值：F [A]}直观，缓存包裹计算，所以我们可以在运行时或负载评估它...
我希望能够给操作˚F适用：在Scala中（T，T）=> T到选项[T]的值。我想要的结果是没有如果有两个值是无。更具体地讲，我想知道是否有...
我一直在玩scalaz，我陷入了一个看似微不足道的问题。我正在玩阅读器和Kliesli monad，发现自己有这样的事情：val gr = ...
我一直在尝试简单的Monad变形金刚，我的理解涉及M [F [A]]，其中M和F是monad。如果S是......，如何使M [F [A]]和M [S [A]]在for comp中一起工作？
我想在scala中以函数方式对字符串执行几个有序和连续的replaceAll（...，...）。什么是最优雅的解决方案？ Scalaz欢迎！ ;）
最近斯卡拉兹引起了我的注意。它看起来很有趣，但我没有找到任何关于图书馆的好介绍。看起来scalaz融合了很多来自haskell和数学的想法。大多数......
我想将List [Option [T]]转换为Option [List [T]]。函数的签名类型是def lo2ol [T]（lo：List [Option [T]]）：Option [List [T]]预期的行为是映射列表......
ZIO新版本中的IO和UIO有什么区别，例如UIO [Long]和IO [Nothing，Long]？
scalaz定义了一个Cohoist：trait Cohoist [F [_ [_]，_]]扩展ComonadTrans [F] {def cohoist [M [_]，N [_]：Comonad]（f：M~> N）：F [M，？]〜> F [N，？]}其中定义了ComonadTrans：...