Dropbox mypy team considering static compilation for typed pythongithub.com/python3 pointsstatsmatscats10 years ago