3 ms·
I have never thought of science as writing unit tests for the universe before, but I really like this analogy.
by jimmux 6y ago
I have never thought of science as writing unit tests for the universe before, but I really like this analogy.
- matt_kantor 6y agoI'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.)