As a huge proponent of typecheck at work, this was a fascinating read. “Our journey to type checking 4 million lines of Python” - Dropbox Tech Blog