3 ms·
Sometimes it's like unit tests, where you might get the test itself wrong at first, but that still helps you get closer and write better tests.
by 6gvONxR4sf7o 6y ago
Sometimes it's like unit tests, where you might get the test itself wrong at first, but that still helps you get closer and write better tests.
- jimmux 6y agoI 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.)