How to write four million lines of Python: Lessons from Dropbox on using the ... via incremental checking — only checking modified files and their dependencies, developing a mypy daemon with ...