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

Their work revives long-standing mathematical curiosities but does so through a fresh window – additive combinatorics.