2
Our journey to type checking 4 million lines of Python (blogs.dropbox.com)