使用scalaz Monad的示例

Question

任何人都可以举一个使用scalaz Monad进行简单但非平凡且实用的任务的例子吗？

Answer 1

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

如果没有这种抽象,你不得不写这些功能为您遇到的每一个新的单子类型,例如List,Parser,Option.这很乏味!

以下是几个提供的函数的示例,使用几个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)