スマート型推論

Javaをしているとデータ型って、何であるんだろうって思うようになる。というか、自動ですべてをもう型変換をしてもらいたい。そうすることで、悩むことが減り、効率的にコードを書けるようになるのに！これって、「スマート型理論」や「型推論」に通ずる...