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](https://blogs.dropbox.com/tech/2019/09/our-journey-to-type-checking-4-million-lines-of-python/)