高次関数を使用してオプションのリストをフラット化する方法は？

Question

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)

...しかし、私はむしろオプションをリストに変換する必要はありません。それは不格好なようです。

何かアドバイス？

Answer 1

Scala 2.8では、Flattenが機能します。

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)

ただし、これは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

コレクションライブラリは再設計されており、2.8で大幅に改善されているため、最新のSCALA 2.8 RCを使用して、それがより簡単に使用できるかどうかを確認することをお勧めします。

Tolistメソッドを本当に使用したくない場合は、次のように書くこともできます。

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

また、おそらく美しさではありませんが、少なくともこれは2.7.7で機能します。

Answer 2

Arjanの答えを補完するために、Scala 2.7.7で使用できます List#flatten, 、しかし、あなたはタイプの推測者を助ける必要があります：

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)