4 ms·
A program that's harder to prove correct is not necessarily incorrect. I'd actually argue that most of the software that runs our lives today is impossible to
by zak_mc_kracken 12y ago
A program that's harder to prove correct is not necessarily incorrect.
I'd actually argue that most of the software that runs our lives today is impossible to prove correct and yet seems to be doing quite alright overall.
You're setting up a similar false dichotomy as people who say that programs that ship without automated tests are worthless and broken.
- sink 12y agoNah, I am saying two things: 1. Mutability makes your program harder to reason about. 2. There are better ways to spend your time than writing tests for conditions that could not exist with pure functions. You could totally extrapolate a ton of statements from those two statements though. But I'm not doing that now, and not here.