The success of MyPy as the original static type checker for Python led Facebook, Google, and Microsoft to develop their own versions of the technology, despite the small team of maintainers behind MyPy.