3 ms·
I'm actually betting on the opposite. Better proof systems will allow programmers to accomish many multiples of current productivity.
by arcbyte 4y ago
I'm actually betting on the opposite. Better proof systems will allow programmers to accomish many multiples of current productivity.
- ozim 4y agoI would argue on the point that more and more programming in my experience seems not to support things that are calculation heavy and need "correct answers" but supporting workflows and models of thinking. I don't see how supporting workflows or setting/managing/evolving models of thinking can have anything to do with proof systems or proving correctness of algorithms. Since we have CRUD basically worked out there is so much more software that can be written without being mathematically strict like the DBMS that we build on top.