In fact, you’re cautioned not to install the usual VS Code extensions for R and Python in Positron, since the IDE already comes with that functionality built-in.

Pyrefly is not the first Python type-checking tool from Meta. Previously, the company delivered Pyre, written in OCaml. Pyre has since been retired; Pyrefly, written from scratch in Rust, replaces it.