top | item 44015427 (no title) team_pyrefly | 9 months ago Hi folks, I work on the Pyrefly team at Meta. Our FAQ covers a good number of the questions raised here: https://pyrefly.org/en/docs/pyrefly-faq/. I can also try to answer some of your questions. Thanks for taking a look! discuss order hn newest muglug|9 months ago At Slack we have an internal Rust-based Hack typechecker that’s about 20% faster than the OCaml one (we use both)Did you see better speedups over Pyre? Aka did I leave stuff on the table… samwgoldman|9 months ago Hack is quite a bit more optimized than Pyre was, but Pyrefly is at least 10x faster than Pyre on the IG codebase.I didn’t know about the Rust-based Hack checker— that’s really cool! load replies (1)
muglug|9 months ago At Slack we have an internal Rust-based Hack typechecker that’s about 20% faster than the OCaml one (we use both)Did you see better speedups over Pyre? Aka did I leave stuff on the table… samwgoldman|9 months ago Hack is quite a bit more optimized than Pyre was, but Pyrefly is at least 10x faster than Pyre on the IG codebase.I didn’t know about the Rust-based Hack checker— that’s really cool! load replies (1)
samwgoldman|9 months ago Hack is quite a bit more optimized than Pyre was, but Pyrefly is at least 10x faster than Pyre on the IG codebase.I didn’t know about the Rust-based Hack checker— that’s really cool! load replies (1)
muglug|9 months ago
Did you see better speedups over Pyre? Aka did I leave stuff on the table…
samwgoldman|9 months ago
I didn’t know about the Rust-based Hack checker— that’s really cool!