On 9/19/06, Yanni Chiu <yanni at rogers.com> wrote:
> Another point about typing:  would the typing information
> be useful for improving the developer tools (e.g. refactoring
> could be more precise)?
>

It is. I notice this using Eclipse, that Java refactorings can be more
precise. But if, for that, I have to spell out each and every type,
the net gain is quite likely negative. As usual, a type inference
engine seems to be the best of both worlds here...