I'll never understand how people can equate type correctness with value correctness, regardless of the language.