>>613
ああ、申し訳ない。
俺は本当にScalaも型システムも初心者なんだ。

初心者なりに「型推論」という問題を考えてはみたが、
それを簡潔に説明するための専門用語を全然知らなかった。

この数日で、それじゃあ全然話が通じないのが判った。
だから、◆CgacaMDhSQさんの使った用語を起点にして、
関連する主要な論文を何本か読んで、
なんとか会話が成立するスタート地点にやっと立ったというのが現状のレベル。

ここまでだけでもすごく勉強になった。ありがとう。
飽きてなければ、これからもよろしく。

とりあえず、この数日のやり取りで、
Scalaは他ができてることができないんじゃなくて、
他が踏み込んでいない領域に(Javaとの相性向上のため)敢えて踏み込んでいて、
そこには最新研究でも未踏の困難が広がっている、というのが判ったよ。