Repository navigation
https://sinon.github.io/future-python-type-checkers/ #17
Description
Activity
What timing, we added Pyrefly to the conformance leaderboard the same weekend you published this post lol
Reacted by Rob HandCongratulations on the progress @yangdanny97 ! Seeing it side-by-side with pyre really shows the progress you and your team have made, as it's already surpassed pyre on so many aspects on the conformance suite 🚀
I didn't know the conformance suite existed, definitely useful for evaluating different options (and for convincing people to use pyright)
Really nice write up!! Thanks! Any chance having these benchmarks with latest versions done more frequently? :)
OK. Answered it myself :) Its within the original repo now:
https://htmlpreview.github.io/?https://github.com/python/typing/blob/main/conformance/results/results.htmlHi. Basilisk was just added the other day and it scores 100%. Check it out
https://github.com/python/typing/blob/main/conformance/results/results.html
Reacted by Eric WernerYou can read about Basilisk here
https://www.basilisk-python.dev/Or grab it on vscode
https://marketplace.visualstudio.com/items?itemName=Nimblesite.basiliskReacted by Eric Werner
How Well Do New Python Type Checkers Conform? A Deep Dive into Ty, Pyrefly, and Zuban
A comparison of three new Rust-based Python type checkers through the lens of typing spec conformance: Astral's ty, Meta's pyrefly, and David Halter's zuban
https://sinon.github.io/future-python-type-checkers/