Re:Our journey to type checking 4M lines of Python
by ken on Sunday September 08, 2019 @01:02PM
(#20911714)
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?
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?