2010-04-01 37 views
7

Hay un trait llamado Kleisli en la biblioteca scalaz. Mirando el código:Pregunta de Scalaz Kleisli

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)] 

Llamar a la función k con el valor de 2 da:

println(k(2)) //Prints: List((X,3), (3,Y), (X,4), (4,Y)) 

Mi pregunta es: cómo iba a utilizar Scalaz combinar F y G para obtener una función m tal que la salida de la m (2) sería:

val m = //??? some combination of f and g 
println(m(2)) //Prints: List((X,3), (X,4), (3,Y), (4,Y)) 

Es esto posible?

Respuesta

3

Parece que usted quiere transpose. Scalaz no proporciona esto, pero debería ser fácil de escribir. La función m que desea es val m = f andThen (_.map(g)) andThen transpose andThen (_.join)

+0

No puedo probar esto ahora, pero ¿no podemos usar la secuencia MA # para realizar la transposición? http://scalaz.googlecode.com/svn/continuous/latest/browse.sxr/scalaz/example/ExampleTraverse.scala.html – retronym

+0

Tienes razón. Es totalmente posible, dada la instancia Aplicable "zippy" para transmisiones (o ZipStream). – Apocalisp

+0

Vaya, no, no tiene el comportamiento correcto. – Apocalisp

Cuestiones relacionadas