Comment on Scala: the Case for CorrectnessparentComments−artgonOP11yThanks 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)By this measure, it's hard to say any language is more or less "correct" than another.−seanmcdirmid11yYou can get pretty darned close to that kind of correctness in a type-dependent language, but the amount of work involved is tremendous.
Comments
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)
By this measure, it's hard to say any language is more or less "correct" than another.
You can get pretty darned close to that kind of correctness in a type-dependent language, but the amount of work involved is tremendous.