Add pyrefly lint adaptor

[rec]

Stack from ghstack (oldest at bottom):

• -> Add pyrefly lint adaptor #154059
• Add pyrefly.toml #154144

cc @ezyang @malfet @xuzhao9 @gramster

[pytorch-bot]

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/154059

• 📄 Preview Python docs built from this PR
• 📄 Preview C++ docs built from this PR
• ❓ Need help or want to give feedback on the CI? Visit the bot commands wiki or our office hours

Note: Links to docs will display an error until the docs builds have been completed.

❌ 1 New Failure

As of commit 8c11145 with merge base 9a8c42f ():

NEW FAILURE - The following job has failed:

• Lint / lintrunner-noclang / linux-job (gh)
  >>> Lint for torch/xpu/streams.py:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

[ezyang]

And this one we can't merge until there's a worked out commitment to this typechecker "for real"

[rec]

@ezyang : Oh, absolutely. I was wanting to show the nice pyrefly people how their tool would look if it were part of the lintrunner CI.

I realized also that there is a fundamental incompatibility between lintrunner, which checks only the files changed in the most recent commit, and pyrefly, which expects to get the whole codebase (and completes in a bit over 4 seconds).

[ezyang]

That's fine, lintrunner does that as a perf optimization, if full codebase is fast then it's not needsd

[rec]

I'm closing this but we can always reopen it at any time. 🙂