7
有一個trait
叫做Kleisli在scalaz庫。看代碼:Scalaz Kleisli question
import scalaz._
import Scalaz._
type StringPair = (String, String)
val f: Int => List[String] = (i: Int) => List((i |+| 1).toString, (i |+| 2).toString)
val g: String => List[StringPair] = (s: String) => List("X" -> s, s -> "Y")
val k = kleisli(f) >=> kleisli(g) //this gives me a function: Int => List[(String, String)]
調用函數k
與2的值給出:
println(k(2)) //Prints: List((X,3), (3,Y), (X,4), (4,Y))
我的問題是:我會怎麼用Scalaz結合f和g得到函數m這樣m(2)的輸出將是:
val m = //??? some combination of f and g
println(m(2)) //Prints: List((X,3), (X,4), (3,Y), (4,Y))
這甚至可能?
我現在無法嘗試此操作,但是我們不能使用MA#序列執行換位嗎? http://scalaz.googlecode.com/svn/continuous/latest/browse.sxr/scalaz/example/ExampleTraverse.scala.html – retronym 2010-04-02 08:19:38
你是對的。你完全可以,給予流的「zippy」Applicative實例(或ZipStream)。 – Apocalisp 2010-04-02 17:40:30
糟糕,不,它沒有正確的行爲。 – Apocalisp 2010-04-02 18:00:39