4 ms·
Not everyone has a spare 1000 programmer-years to write their script in Coq though. Model checking can be pretty productive relatively speaking, however.
by mhh__ 5y ago
Not everyone has a spare 1000 programmer-years to write their script in Coq though.
Model checking can be pretty productive relatively speaking, however.
- junon 5y agoYeah this is unfortunately true. The developer experience aspect needs a lot of work here. I don't disagree. But the assertion that you can't write bug free code is still false, regardless of the amount of effort it takes.
- odonnellryan 5y agoLots of my bugs are because of unexpected data. I imagine these systems cannot account for that?
- junon 5y agoOf course they can.
- odonnellryan 5y agoHow?
- jeffreygoesto 5y agoThat can be improved if you practice to "switch hats" and try to break your own code in all ways you can think of. That is something worth doing when you review other people's PRs as well. Expect all possible inputs before they hit you. Kind of a human fuzzer.
- odonnellryan 5y agoWell, yes this is good advice no matter what, but it doesn't get rid of the bugs!