If this were 100% true, everyone would want a language for formal verification (... | Hacker News

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

sobellian on July 14, 2023 | parent | context | favorite | on: Unchecked Java: Say goodbye to checked exceptions

If this were 100% true, everyone would want a language for formal verification (Idris, Coq, etc). Short of those lofty heights we can quibble over the varying strictness of Haskell vs Java vs C and so on.

edejong on July 14, 2023 [–]

A good programmer knows the limits of the type system. They lean on that knowledge to determine which tests to write.

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