News for hackers. Stuff that matters.

A comment on Unchecked Java: Say Goodbye to Checked Exceptions Forever. Parent comment

Re:Unchecked Java: Say Goodbye to Checked Exceptions Forever by sobellian on Friday July 14, 2023 @02:33AM (#36720199)
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.
[ Parent | on HN ]
Re:Unchecked Java: Say Goodbye to Checked Exceptions Forever by edejong on Friday July 14, 2023 @03:14AM (#36720483)
A good programmer knows the limits of the type system. They lean on that knowledge to determine which tests to write.
[ Parent | on HN ]