Scala for内包表記(for comprehension)変換ルールメモ - TODESKINGScalaのforは構文糖衣なんだけど、書き方に応じてmapやflatMapやforEachに変換されてよくわからないので、ルールをまとめた。 参考資料: Scala Language Specification Version 2.9(pdf)。ちょっと古いけどこのへんのルールは今も変わってないと思われる。 ステップ1 出現する全てのnot irrefutableなパターン部(※)を持つジェネレータp <- eを以下の形に変形する p <- e.withFilter { case p => true; case _ => false } ※not irrefutable: 必ずマッチするとは限らないようなパターンの意。 ステップ2 すべてのfor内包表記が消滅するまで、以下のルールを繰り返し適用する ジェネレータの変換に関するルール パターン: p <- e; if g p <- e.w
