Pyre: Fast Type Checking for Python
So, there is a trend to build static type checker for popular managed dynamic languages?<p>Facebook also built Flow, a type checker for Javascript [1].<p>[1] <a href="https:&#x2F;&#x2F;flow.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;flow.org&#x2F;</a>