News for hackers. Stuff that matters.

A comment on Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to. Parent comment

Re:Adoption of Mypy for Python type checking: 45% already us... by crazypython on Sunday March 21, 2021 @11:06AM (#26530987)
mypy has implementations in other languages – PyCharm's is in Java, Facebook's Pyre's is in OCaML https://github.com/facebook/pyre-check
[ Parent | on HN ]
Re:Adoption of Mypy for Python type checking: 45% already us... by MapleWalnut on Sunday March 21, 2021 @11:52AM (#26531306)
Those tools are not re-implementations of mypy, but their own type checkers. Pyre doesn't necessarily have all the features of mypy and vice versa.
[ Parent | on HN ]