Scalaのアイデンティティ機能はありますか？

Question

私はList[Option[A]]のようなものを持っていると私はList[A]にこれを変換したい場合は、

は、標準的な方法はflatMapを使用することです。

scala> val l = List(Some("Hello"), None, Some("World"))
l: List[Option[java.lang.String]] = List(Some(Hello), None, Some(World))

scala> l.flatMap( o => o)
res0: List[java.lang.String] = List(Hello, World)

今だけのアイデンティティ機能o => oです。私が行うにはいくつかの方法があるだろうと思っています。

l.flatMap(Identity) //return a List[String]

あなたがobjectをgenerifyことができないとして、しかし、私は仕事にこれを取得することはできません。私は無駄にいくつかのことを試してみました。誰もが仕事に、このようなものを持っている？

Answer 1

アイデンティティ機能はPredef のでありますます。

l flatMap identity[Option[String]]

> List[String] = List(Hello, World)

expresion用Aが進歩して、私が思うます：

for(x <- l; y <- x) yield y

の編集の

I型パラメータ（オプション[文字列]）が必要とされる理由を理解することを試みました。問題は、反復処理可能[T]のオプションから型変換[T]であると思われる。

あなたのように恒等関数を定義する場合：

l.flatMap( x => Option.option2Iterable(identity(x)))

型パラメータを省略することができる。

Answer 2

FWIWは、Scalaの2.8上で、あなたはそれにflattenを呼び出します。それはほとんどのScala 2.7のためにカバーしているのトーマス。彼は唯一のそのIDを使用してのいずれかの代替方法を逃します：

l.flatMap[String](identity)

それはないでしょうオペレータ表記との仕事は、しかし、（これはオペレータの表記が知ってもいいである、型パラメータを受け付けませんようです）。

あなたは（少なくともflatten上、）スカラ座2.7ののものコールListことができますが、タイプせずに何かをすることはできません。しかし、この作品ます：

l.flatten[String]

Answer 3

あなたはほんの少しの助けinferencer種類を与えることができる：

scala> val l = List(Some("Hello"), None, Some("World"))
l: List[Option[java.lang.String]] = List(Some(Hello), None, Some(World))

scala> l.flatten[String]
res0: List[String] = List(Hello, World)