如何在Scala中使用> =>？

Question

我想在Scala中使用>=>（Kleisli箭頭）。據我瞭解，它構成了返回monad的函數。現在我試試看如下：

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

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

scala> val h = f >=> g 
<console>: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> 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> 

的第二個問題是，>=>不爲斯卡拉茲的普通舊單子功能提供 - 您需要使用Kleisli包裝：

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

這正是你想要的 - 只需使用h.run來解開。