Como lista de opciones usando funciones de orden superior aplanar?

Question

El uso de Scala 2.7.7:

Si tengo una lista de opciones, puedo aplánelos utilizando una para-comprensión:

val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> for (opt <- listOfOptions; string <- opt) yield string
res0: List[java.lang.String] = List(hi)

No me gusta este estilo, y preferiría utilizar un HOF. Este intento es demasiado detallado para ser aceptable:

scala> listOfOptions.flatMap(opt => if (opt.isDefined) Some(opt.get) else None)
res1: List[java.lang.String] = List(hi)

Intuitivamente yo habría esperado para el siguiente a trabajar, pero no:

scala> List.flatten(listOfOptions)
<console>:6: error: type mismatch;
 found   : List[Option[java.lang.String]]
 required: List[List[?]]
       List.flatten(listOfOptions)

A pesar de la siguiente parece que debería funcionar, pero no:

scala> listOfOptions.flatMap(_: Option[String])
<console>:6: error: type mismatch;
 found   : Option[String]
 required: (Option[java.lang.String]) => Iterable[?]
       listOfOptions.flatMap(_: Option[String])
                          ^

Lo mejor que puedo llegar a es:

scala> listOfOptions.flatMap(_.toList)         
res2: List[java.lang.String] = List(hi)

... pero me gustaría mucho más no tener que convertir la opción de una lista. Eso parece torpe.

Cualquier consejo?

Answer 1

En Scala 2.8, el trabajo se aplanan:

Welcome to Scala version 2.8.0.RC2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_20).
Type in expressions to have them evaluated.
Type :help for more information.

scala> val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> listOfOptions flatten
res0: List[java.lang.String] = List(hi)

Esto no obstante funciona en 2.7.7,:

Welcome to Scala version 2.7.7.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_20).

scala> val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> listOfOptions.flatten
:6: error: no implicit argument matching parameter type (Option[java.lang.String]) => Iterable[Nothing] was found.
       listOfOptions.flatten

La biblioteca de colecciones ha sido rediseñado, y ha mejorado mucho en 2.8, así que quizás es posible que desee para tratar de utilizar la última Scala 2.8 RC y ver si eso hace que sea más fácil de usar para usted.

Si realmente no desea utilizar el método toList, supongo que también se puede escribir así:

scala> listOfOptions.flatMap(o => o)
res: List[java.lang.String] = List(hi)

Además, no es una cosa de belleza tal vez, pero al menos funciona esto en 2.7.7.

Answer 2

Para complementar la respuesta de Arjan, en Scala 2.7.7 se puede utilizar List#flatten, pero que necesita para ayudar a la inferencer tipo:

Welcome to Scala version 2.7.7.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_20).
Type in expressions to have them evaluated.
Type :help for more information.

scala> val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> listOfOptions.flatten[String]                   
res0: List[String] = List(hi)

scala> val x: List[String] = listOfOptions.flatten
x: List[String] = List(hi)