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.

A wise prophet who went by the name Monty Python must have had the current president of the United States in mind when he came up with a character known as the Black Knight. In a hilarious scene ...