Someone should do a proper analysis of MyPy vs PyType vs Pyre. What features they support, how fast they run, what tooling there is around it, etc. But yeah, co

Someone should do a proper analysis of MyPy vs PyType vs Pyre. What features they support, how fast they run, what tooling there is around it, etc. But yeah, competition is definitely nice, as it'll lead it innovation and hopefully cross-project inspiration. All 3 are open-source so that's awesome.