Pyre: Fast Type Checking for Python
I&#x27;m curious what the proponents of dynamic typing over static typing think about the recent push towards adding type systems to the two biggest dynamic languages out there: Python and JS.