>>592
LackwitとかStrongtalkとかのイメージかな。
LackwitはCに対して型推論をする。例えば同じintでもそれを多相型とみなして型推論する。
理屈としては面白いと思う。
StrongtalkはSmalltalk + parametric polymorphism + type inferrenceみたいな感じ。