Neil Mitchell: Pyrefly: Type Checking 1.8 Million Lines of Python Per Second
Jane Street · 55:03
PyreFly is Meta’s new Rust-written Python type checker and language server, built to replace the OCaml-based Pyre so Instagram-scale Python (20M+ lines, thousands of daily developers) can stay incrementally typed with...