News for hackers. Stuff that matters.

A comment on Strong typing, a hill I'm willing to die on. Parent comment

Re:Strong typing, a hill I'm willing to die on by myaccountonhn on Wednesday October 04, 2023 @08:56PM (#37773683)
I don’t think you need a “study” for example when Elm has no runtime exceptions. That’s an entire class of bugs plain impossible to express (bar a few contrived examples)
[ Parent | on HN ]
Re:Strong typing, a hill I'm willing to die on by pharmakom on Thursday October 05, 2023 @02:46AM (#37775555)
Elm does have runtime errors. It doesn’t statically analyze division by zero, for example.
[ Parent | on HN ]
Re:Strong typing, a hill I'm willing to die on by myaccountonhn on Thursday October 05, 2023 @05:10AM (#37776415)
I know that, its what I meant with bar a few contrived examples. In practice you dont really run into them like youd run into runtime issues in Javascript.
[ Parent | on HN ]
Re:Strong typing, a hill I'm willing to die on by Rapzid on Thursday October 05, 2023 @09:40AM (#37778483)
Some might call divide by zero a classic runtime error.
[ Parent | on HN ]