Comment by throwaway2037

    > But then I saw the downside: these type-happy programmers almost never tested anything.

To clarify: Are you saying they came to trust the compiler so much that they stopped doing local tests? If yes, this is an interesting point. When I toggle between Python and Java, I find the Java compiler has similar impact on me, as Python makes me so paranoid about runtime errors due to syntax.