使用 scalaz Monad 的示例

发布于 2024-10-06 04:56:33 字数 196 浏览 9 评论 0原文

任何人都可以举一个使用 scalaz Monad 来完成一个简单但不平凡且实用的任务?

Can anybody give an example of using scalaz Monad for a simple but non-trivial and practically useful task ?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

巴黎夜雨 2024-10-13 04:56:33

scalaz.Monad 以及相关类型类系列,在大量类型中抽象了一些常见功能。 Scalaz 提供适用于任何 Monad 的通用函数;你可以用同样的方式编写你自己的函数。

如果没有这种抽象,您将被迫为遇到的每个新单子类型编写这些函数,例如 ListParserOption。这变得乏味!

以下是一些提供的函数的示例,可使用几种单子类型。我最喜欢的是序列

scala> 1.pure[Option].pure[Option]
res1: Option[Option[Int]] = Some(Some(1))

scala> res1.join
res2: Option[Int] = Some(1)

scala> List(1.some, 2.some).sequence
res3: Option[List[Int]] = Some(List(1, 2))

scala> List(1.some, none[Int]).sequence
res4: Option[List[Int]] = None

scala> List(1.pure[Function0])      
res5: List[() => Int] = List(<function0>)

scala> res5.sequence
res6: () => List[Int] = <function0>

scala> res6()
res7: List[Int] = List(1)

scala> true.some ifM(none[Int], 1.some)
res8: Option[Int] = None

scala> false.some ifM(none[Int], 1.some)
res9: Option[Int] = Some(1)

scalaz.Monad, and the family of related type classes, abstract some common functionality across a vast array of types. Scalaz provides general purpose functions that work for any Monad; and you can write your own functions in the same fashion.

Without this abstraction, you are forced to write these functions for each new monadic type that you encounter, e.g. List, Parser, Option. This gets tedious!

Here are examples of a few provided functions, working with a couple monadic types. My favorite is sequence:

scala> 1.pure[Option].pure[Option]
res1: Option[Option[Int]] = Some(Some(1))

scala> res1.join
res2: Option[Int] = Some(1)

scala> List(1.some, 2.some).sequence
res3: Option[List[Int]] = Some(List(1, 2))

scala> List(1.some, none[Int]).sequence
res4: Option[List[Int]] = None

scala> List(1.pure[Function0])      
res5: List[() => Int] = List(<function0>)

scala> res5.sequence
res6: () => List[Int] = <function0>

scala> res6()
res7: List[Int] = List(1)

scala> true.some ifM(none[Int], 1.some)
res8: Option[Int] = None

scala> false.some ifM(none[Int], 1.some)
res9: Option[Int] = Some(1)
~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文