2 ms·
Thanks 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
by artgon 12y ago
Thanks 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.