Pyrefly is not the first Python type-checking tool from Meta. Previously, the company delivered Pyre, written in OCaml. Pyre ...

Spiffy and convenient as Python is, most everyone who uses the language knows it’s comparatively creaky—orders of magnitude slower than C, Java, or JavaScript for CPU-intensive work. But ...