TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Pyrefly - A faster Python type checker written in Rust

142 点作者 muglug15 天前

8 条评论

team_pyrefly15 天前
Hi Hackernews, I’m on the team working on Pyrefly at Meta. We address a lot of the comments in our FAQ: <a href="https:&#x2F;&#x2F;pyrefly.org&#x2F;en&#x2F;docs&#x2F;pyrefly-faq&#x2F;" rel="nofollow">https:&#x2F;&#x2F;pyrefly.org&#x2F;en&#x2F;docs&#x2F;pyrefly-faq&#x2F;</a>. I will try to address some questions directly too!<p>Pyrefly is a work in progress, but you can install it from pypi and&#x2F;or try our alpha VSCode extension if you are interested. You may still get false positive errors on your project as we are still burning down bugs and some features. We would love comments, bugs, or requests on our GitHub as you try it out.<p>Lastly, one of our team members is giving a talk at PyCon about the design if folks are interested: <a href="https:&#x2F;&#x2F;us.pycon.org&#x2F;2025&#x2F;schedule&#x2F;presentation&#x2F;118&#x2F;" rel="nofollow">https:&#x2F;&#x2F;us.pycon.org&#x2F;2025&#x2F;schedule&#x2F;presentation&#x2F;118&#x2F;</a>. We didn’t expect much attention before then, so thanks for taking a look!
emptysea15 天前
A rewrite of <a href="https:&#x2F;&#x2F;github.com&#x2F;facebook&#x2F;pyre-check">https:&#x2F;&#x2F;github.com&#x2F;facebook&#x2F;pyre-check</a> in rust?
评论 #43836237 未加载
评论 #43835274 未加载
nine_k15 天前
On one hand, &quot;launching Spring 2025&quot;. On the other hand, 47% complete, with a ton of basic stuff not yet ready. I wonder how fast they plan to move, given that only 32 days remain of the spring.
评论 #43834559 未加载
评论 #43835153 未加载
评论 #43834439 未加载
alexmolas15 天前
The astral team (behind uv and ruff) is already working on a type checker in Rust, and given the quality of their existing tools, I&#x27;m inclined to wait and see what they release. Pyrefly looks interesting, but from the repo it seems pretty early-stage and not intended for external use yet.
评论 #43834675 未加载
评论 #43834538 未加载
评论 #43836100 未加载
评论 #43835261 未加载
WD-4215 天前
Cannot wait to get rid of pyright, but I’ll be holding out for Astrals type checker.
评论 #43834491 未加载
femtozer15 天前
The team behind ruff&#x2F;uv is working on a similar tool:<p><a href="https:&#x2F;&#x2F;x.com&#x2F;charliermarsh&#x2F;status&#x2F;1884651482009477368" rel="nofollow">https:&#x2F;&#x2F;x.com&#x2F;charliermarsh&#x2F;status&#x2F;1884651482009477368</a>
评论 #43833900 未加载
odie553315 天前
This is awesome! Thank you for sharing it!<p>I&#x27;m wondering though, why do existing tools like Mypy and Pyright not scale for Meta? Is Pyre(fly) being used extensively at Meta? In general what sort of issues did Meta run into?
评论 #43851187 未加载
koakuma-chan15 天前
&gt; pyrefly check --suppress-errors<p>&gt; INFO 5,240 errors shown, 65,932 errors ignored<p>Not a single Python type checker had ever worked for me so far.
评论 #43833617 未加载
评论 #43836403 未加载
评论 #43833655 未加载
评论 #43833676 未加载
评论 #43841596 未加载
评论 #43834213 未加载