scala - 如何在 Scala 中使用 >=>？

Question

我正在尝试使用 >=> (Kleisli 箭头)在 Scala 中。据我了解，它由返回单子(monad)的函数组成。现在我尝试如下:

scala> val f = {i:Int => Some(i + 1)}
f: Int => Some[Int] =

scala> val g = {i:Int => Some(i.toString)}
g: Int => Some[String] =

scala> val h = f >=> g
:15: error: value >=> is not a member of Int => Some[Int]
val h = f >=> g
^

为什么不编译？如何作曲f和 g与 >=> ?

Answer 1

这里有两个问题。首先是您的函数的推断类型过于具体。 Option是一个单子(monad)，但是 Some不是。在 Haskell 等语言中，相当于 Some甚至不是类型——它只是一个构造函数——但由于代数数据类型在 Scala 中的编码方式，你必须注意这个问题。有两个简单的修复——要么明确地提供更通用的类型:

scala> val f: Int => Option[Int] = i => Some(i + 1)
f: Int => Option[Int] = <function1>

scala> val g: Int => Option[String] = i => Some(i.toString)
g: Int => Option[String] = <function1>

或者使用 Scalaz 的方便 some ，它返回一个正确键入的 Some :

scala> val f = (i: Int) => some(i + 1)
f: Int => Option[Int] = <function1>

scala> val g = (i: Int) => some(i.toString)
g: Int => Option[String] = <function1>

第二个问题是 >=> Scalaz 中没有为普通的旧单子(monad)函数提供 - 您需要使用 Kleisli包装:

scala> val h = Kleisli(f) >=> Kleisli(g)
h: scalaz.Kleisli[Option,Int,String] = Kleisli(<function1>)

这正是您想要的——只需使用 h.run展开。