News for hackers. Stuff that matters.

A comment on Ask HN: A well-typed program won't go wrong?.

Re:Ask HN: A well-typed program won't go wrong? by ColinWright on Monday November 03, 2014 @01:52PM (#8552644) 

    > I've read a few times here on HN the saying
    > "a well-typed program won't go wrong" or some
    > slight variation.
Actually, I don't remember seeing that stated here on HN. Could you provide some references? I don't know anyone who says that. Seriously strict typing can prevent certain types of errors, and can ensure that the code runs. But if I implement quicksort when I intended to implement heapsort, how can typing help?
[ Parent | on HN ]
Re:Ask HN: A well-typed program won't go wrong? by tome on Monday November 03, 2014 @05:37PM (#8554019)
There are a few people discussing or mentioning the phrase, but I didn't find anyone actually making the claim.

https://www.google.com/search?q=a+well-typed+program+won't+g...

[ Parent | on HN ]
Re:Ask HN: A well-typed program won't go wrong? by AnimalMuppet on Monday November 03, 2014 @03:06PM (#8553123)
No, I can't give references. I recall seeing that claim at least twice in the last six months or so, but that's a wide area to search. (And, not having references, I can't be sure whether it was the same person making the claim each time.)
[ Parent | on HN ]
Re:Ask HN: A well-typed program won't go wrong? by ColinWright on Monday November 03, 2014 @03:15PM (#8553187)
OK, fair enough. In any field there are people who make extravagant claims with no evidence, based purely on their own enthusiasms(+). I believe, in this case, and in agreement with other commenters, that the claim is wrong.

(+) Probably including this one.

[ Parent | on HN ]