Our journey to type checking 4 million lines of Python | Dropbox Tech Blog