> your code might just compile, and you'd get a runtime error because you forgot to rename an attribute The eclipse plugin has a pretty good approach in that i

> your code might just compile, and you'd get a runtime error because you forgot to rename an attribute The eclipse plugin has a pretty good approach in that it underlines things that cannot be deterministically type checked (that is: it can't prove they are wrong, but it can't prove they are right). It does a fair bit of type inference, so once you get used to that it's reasonably low amount of pain that comes from this type of problem.