>>59
どうだろうね。そのような予定自体は特に無いみたいだが。
一般論としては、そもそもScalaみたいな型システム上でHaskellとかML並の型推論を
やるのは原理的に難しい。ローカルなメソッドに限定すれば、呼び出し側の情報も
使って推論するとかまだやりようはあるだろうけど。