Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


I have never thought of science as writing unit tests for the universe before, but I really like this analogy.


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.)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: