This sounds like it might be true until you write a large application and then type safety suddenly makes a lot of sense, even a stupid non-inferred type system

This sounds like it might be true until you write a large application and then type safety suddenly makes a lot of sense, even a stupid non-inferred type system like Java's.