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

It "represents theoretical math that could’ve been done decades ago" - but it has big implications for the future.