Использование Scala 2.7.7:
Если у меня есть список опций, я могу сгладить их, используя для понимания:
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)
Мне не нравится этот стиль, и я бы предпочел использовать HOF. Эта попытка слишком многословна, чтобы быть приемлемой:
scala> listOfOptions.flatMap(opt => if (opt.isDefined) Some(opt.get) else None)
res1: List[java.lang.String] = List(hi)
Интуитивно я ожидал, что следующее будет работать, но это не так:
scala> List.flatten(listOfOptions)
<console>:6: error: type mismatch;
found : List[Option[java.lang.String]]
required: List[List[?]]
List.flatten(listOfOptions)
Даже следующее выглядит как должно работать, но не делает:
scala> listOfOptions.flatMap(_: Option[String])
<console>:6: error: type mismatch;
found : Option[String]
required: (Option[java.lang.String]) => Iterable[?]
listOfOptions.flatMap(_: Option[String])
^
Лучшее, что я могу придумать, это:
scala> listOfOptions.flatMap(_.toList)
res2: List[java.lang.String] = List(hi)
... но мне бы скорее не пришлось преобразовывать этот параметр в список. Это кажется неуклюжим.
Любые советы?