08/26/2022

…a type checker is just a Neanderthal correctness-prover.

— Peter Seibel, Coders at Work