Thanks for pointing out the typo, I fixed it. By academic correctness, I mean th... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

artgon on Oct 15, 2014 | parent | context | favorite | on: Scala: the Case for Correctness

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 on Oct 15, 2014 [–]

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

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact