Re:Pyrefly: A new type checker and IDE experience for Python
by team_pyrefly on Saturday May 17, 2025 @12:30PM
(#44015397)
Hi! We address this question in our FAQ and probably could do a longer blog post about our experience after we are further along: https://pyrefly.org/en/docs/pyrefly-faq/#why-rust
[ Parent
| on HN ]
Re:Pyrefly: A new type checker and IDE experience for Python
by adsharma on Saturday May 17, 2025 @01:41PM
(#44015795)
> Not only is Pyrefly written in a new language (Rust instead of OCaml), but its design deviates in a major way from Pyre.
I'm sure you had reasons to do it this way. But given sufficient time to market, implementing the algorithm in pyre and then tooling/llm assisted conversion to pyrefly would've been preferable.
May be you'd have had some humans in the loop initially. But that tech is getting better and aligned with the direction Meta and the rest of the industry are taking.
Yes, I'm biased :)