> I am making the case that type errors are NOT one of the major causes of error... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		marcosdumay on March 24, 2015 \| parent \| context \| favorite \| on: Myths of Enterprise Python > I am making the case that type errors are NOT one of the major causes of errors in software development. That's symptom of a bad typing system. I'm with a moderately sized Haskell codebase right now and type errors represent the biggest share of errors on it by a huge margin - several times bigger than runtime bugs.

mpdehaan2 on March 24, 2015 | [–]

Haskell makes programming into a duel with the type system specifiers.

marcosdumay on March 25, 2015 | | [–]

Yes, it does. That duel replaces a chase on unknown and strange runtime bugs.

Sometimes it's a win, other times it isn't.

tome on March 24, 2015 | | | [–]

I prefer to think of it as a dialectic.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact