[andolanra]

    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]

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.