Dropbox כתבו מיליוני שורות Python לפני שהחליטו להוסיף type hints. כשהם עשו את זה - הם מצאו אלפי bugs ב-codebase שעבד ב-production כבר שנים. לא crash bugs - bugs שגרמו לנתונים שגויים, ל-edge cases שלא טופלו, לhallucinations בממשקים בין modules. Guido van Rossum עצמו הצטרף לDropbox אחרי שעזב Google, ו-mypy הפך לפרויקט Dropbox. זה לא מקרה.
Python תמיד dynamically typed - המשתנים לא צריכים הכרזת סוג, ו-Python לא בודק בזמן ריצה. Type hints, שנוספו ב-Python 3.5, הם annotations שכלים חיצוניים (mypy, Pylance) בודקים statically - לפני שהקוד רץ.