型推論クイズ
- この投稿は Scala Advent Calendar 2014 - Qiita の24日目の記事です。
- 前の日の記事: Scala - spray-routingにPlay2ライクなコントローラを導入する - Qiita
- 次の日の記事: L'Architecture systèmatique [JP]: Patterns on Scala
- この記事についてのレポート: Path にまつわる型推論 - PS
問題
Scala のコード:
object M { val p: String = "Merry Xmas" val q1 = p: p.type val q2 = identity(M) }
において、省略されている q1 や q2 の型はどのように推論されるべきか。