3 ms·
When I say correctness, I mean the ability to easily and consistently write code that works as inteded (not the academic definition of correctness). I'
by andolanra 12y ago
When I say correctness, I mean the ability to easily and
consistently write code that works as inteded (not the academic
definition of correctness).
I'm curious as to what the author believes the academic definition of 'correctness' actually is. Is it something other than code "working as inteded [sic]"?
- artgon 12y agoThanks for pointing out the typo, I fixed it. By academic correctness, I mean the formal definition in computer science, i.e. for an algorithm. More here: http://en.wikipedia.org/wiki/Correctness_(computer_science) http://en.wikipedia.org/wiki/Correctness_(computer_science) By this measure, it's hard to say any language is more or less "correct" than another.
- seanmcdirmid 12y agoYou can get pretty darned close to that kind of correctness in a type-dependent language, but the amount of work involved is tremendous.