[artgon]

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.

[seanmcdirmid]

You can get pretty darned close to that kind of correctness in a type-dependent language, but the amount of work involved is tremendous.