> Understanding existing code is a big benefit of static types as well. At a syntax level perhaps, but not necessarily at a semantic level. This won't apply t

> Understanding existing code is a big benefit of static types as well. At a syntax level perhaps, but not necessarily at a semantic level. This won't apply to everyone, but I've noticed that the more types are relied on, the less my co-workers really understand the code. They're relying on the compiler so much they don't slow down and think through the changes they're making. In one extreme case I saw a guess-change-compile workflow that relied entirely on the compiler doing the work for them.