Counterpoint: I've worked on a production >100-KLOC >10-programmer Python system, and lack of types was not an issue at all. For the past week I've been updati

Counterpoint: I've worked on a production >100-KLOC >10-programmer Python system, and lack of types was not an issue at all. For the past week I've been updating a (much shorter) solo app, written in a statically-typed language, and having a bear of a time getting the compiler to stop throwing false type errors at me. Yes, it's the stable release version of the compiler. That has never stopped any compiler from shipping with bugs. These type inference systems can be pretty complex. Then again, I seem to run into more compiler bugs in general than anyone I know. How do you all do it?