News for hackers. Stuff that matters.

A comment on Guido van Rossum joins Microsoft. Parent comment

Re:Guido van Rossum joins Microsoft by duckerude on Thursday November 12, 2020 @12:31PM (#25072207)
> something like type-safe Python similar to TypeScript

That already exists, and van Rossum worked on it: http://mypy-lang.org/

[ Parent | on HN ]
Re:Guido van Rossum joins Microsoft by ehsankia on Thursday November 12, 2020 @01:11PM (#25072750)
Also Pyre [0] by Facebook and Pytype [1] by Google. More importantly, the core part (type annotations) allowing these libraries to exist has been added to core python for years now and keeps on evolving, so it is an ongoing effort.

EDIT: As mentioned below, also added Pyright [2] by Microsoft

[0] https://github.com/facebook/pyre-check

[1] https://github.com/google/pytype

[2] https://github.com/microsoft/pyright

[ Parent | on HN ]
Re:Guido van Rossum joins Microsoft by tracnar on Thursday November 12, 2020 @01:29PM (#25073014)
You forgot the one made by Microsoft, Pyright (and PyLance).
[ Parent | on HN ]
Re:Guido van Rossum joins Microsoft by ajliu on Friday November 13, 2020 @03:11AM (#25080167)
Having tried a good number of these various type checkers, it seems like Pyright is the only one that properly supports all of the accepted PEP changes to typing.
[ Parent | on HN ]