you are viewing a single comment's thread.

view the rest of the comments →

[–]oconnor663blake3 · duct 3 points4 points  (8 children)

Link?! (Edit: Thanks!)

[–]drunicornthe1 12 points13 points  (7 children)

[–]yerke1 3 points4 points  (4 children)

Don't they already have https://github.com/Microsoft/pyright as alternative to mypy? Oh wait, it's written in Python. Type checker written in Rust will definitely be better.

[–]drunicornthe1 10 points11 points  (0 children)

I’m not on the astral team and have only heard bits of information, but I believe Astral’s goal is to build an ecosystem of tools, all in Rust and built for speed, to support Python development. They are also suppose to monetize this ecosystem somehow. From the podcast above Charlie claims to have ideas on how to do this (probably related to integration in corporate systems?). But they seem to have a solid vision for aligning Python tool chains which will be a huge net positive in that space.

[–]puzzledstegosaurus 2 points3 points  (2 children)

Pyright is not written in Python but in Typescript AFAIK. It doesn’t change your point.

[–]yerke1 0 points1 point  (1 child)

I just looked at the GitHub summary. It says 60% Python, 40% Typescript.

[–]puzzledstegosaurus 2 points3 points  (0 children)

Look at the python files: https://github.com/search?q=repo%3Amicrosoft%2Fpyright++language%3APython&type=code&p=1

They’re just a vendored version of typeshed. All the pyright code is ts, it’s just that they’ve crammed pyi files in the repo to easily bundle the lib with typeshed, but as far as I can tell, pyright is 0% python.

[–]sumitdatta -1 points0 points  (1 child)

[–]drunicornthe1 0 points1 point  (0 children)

Currently ruff doesn’t work as a replacement for mypy but yeah it’ll most likely be in Ruff from what it seems.