使用scalaz Monad的示例

时间:2010-12-04 16:14:15

标签: scala monads scalaz

有人可以举一个使用scalaz Monad来做一个简单但非平凡且实用的任务的例子吗?

1 个答案:

答案 0 :(得分:16)

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

如果没有这种抽象,你就不得不为你遇到的每种新的monadic类型编写这些函数,例如: ListParserOption。这很乏味!

以下是几个提供的函数的示例,使用几个monadic类型。我最喜欢的是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)