Scala dependent method types ?
ついに、ねんがんのでぃぺんでんとめそっどたいぷをてにいれたぞ
新しく 2.10 から(?) dependent method types っていう機能が Scala に入るらしいので、最新版をゴニョゴニョしてみた。
2.9.1で同じことやろうとすると def withFoo(foo: Foo): foo.Bar = foo.f
という部分がコンパイル通らないはず。fooという 引数 の抽象型であるBarに依存した型だからっていう感じ?
しかし、機能の概念はなんとなくぼんやりと、把握はできたが、まだどういったときに役に立つのかわかっていない(・ω・`)