In fairness, there's also a reason why correctness-oriented languages don't see ... | Hacker News

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

		yen223 on Jan 19, 2020 \| parent \| context \| favorite \| on: Dynamic type systems are not inherently more open In fairness, there's also a reason why correctness-oriented languages don't see a lot of use in the industry.

bitwize on Jan 19, 2020 [–]

Because most programmers are sloppy.

When you can't afford to be sloppy -- when human lives are literally on the line -- correctness-oriented programming comes roaring back into vogue.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact