プレースホルダー構文クイズ(問題編)

初めに言っておくと、これはマジなクイズではありません。実際にScalaのプレースホルダー構文を使う上でここまで詳細な挙動を知る必要はありませんし、知る必要のあるようなプレースホルダー構文の使い方をしていたら、それはおそらく誤った使い方です。ただ、Scalaのプレースホルダー構文の特性を示すためにクイズ形式にしてみました。

無名関数のためのプレースホルダー構文を使ったScalaプログラムの断片について、以下の問いに答えてください。

1. =の右辺の展開結果が全く同じになるコード例のグループを全て列挙してください(e.g, (1-1,1-2), (2-2,2-3))。展開結果が全く同じというのは、評価結果が同じになるという意味ではなく、展開した式の形が同じになることを指しています。

たとえば、(x:Int) => x + xと(x) => x + xのような形は、明示的な型指定によって木の形が同じでないので、異なるものとみなします。一方、最終的に推論される関数の型が違っても、プレースホルダー構文を展開した時点での右辺の式の形が同じ場合は同じものとみなします。たとえば、val a: String => String = x => xと、val b: Int => Int = x => xの右辺は同じものとみなします。

2. コンパイルできるコード例を全て抽出してください(e.g. 1-2, 1-3)。

3. コンパイルできないコード例を二つ以上抽出し、その理由を簡単に述べてください。

なお、処理系は動かさずに、Scala Language Specificationだけから結果を予測してください*1。正解と解説は明日書く…かもしれないです。

val add = _ + _

val add = (_:Int) + (_:Int)

val add: (Int, Int) => Int = _ + _

val add = _.+(_)

val add: (String, String) => String = _ + _

val lst = List(1, 2, 3).map(_ + 1)

val lst = List(1, 2, 3).map(_.+(1))

val lst = List(1, 2, 3).map((_:Int) + 1)

val lst = List(1, 2, 3).map((_:Int).+(1))

val lst2 = List(1, 2, 3).map(_)

val lst2 = List(1, 2, 3).map((_:Int))

val lst2 = List(1, 2, 3).map((_:Int => Int))

val lst2 = List(1, 2, 3).map(+(_))

val lst2: List[Int] = List(1, 2, 3).map(_)

val lst2 = List(1, 2, 3).map(identity(_))

val idfun = _;

val idfun = identity(_)

val idfun = identity(_:Int)

val idfun = (identity(_:Int))

val idfun = identity(identity(_))

*1:ヒント：p.94とChapter 6 Expressions冒頭

kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

プレースホルダー構文クイズ(問題編)