I'm fond of using this analogy in the other direction: "tests are experiments, types are proofs". (To be more precise, static types are propositions that the t

I'm fond of using this analogy in the other direction: "tests are experiments, types are proofs". (To be more precise, static types are propositions that the type checker tries to prove, but that's not as catchy.)