Ah but Haskell was built that way from the beginning, and has important invarian... | Hacker News

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

		somewhereoutth on Sept 21, 2022 \| parent \| context \| favorite \| on: Learn how to unleash the full potential of the typ... Ah but Haskell was built that way from the beginning, and has important invariants (pure functions etc) that make it possible to produce inherently sound programs. Of course none of that will help you make the right inherently sound program.

Akronymus on Sept 21, 2022 [–]

And it doesn't stop certain kinds of logic bugs (mixing up adding and subbing for example) but it VASTLY reduces the kinds of bugs you tend to have.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact