Re:Strong typing, a hill I'm willing to die on
by manicennui on Wednesday October 04, 2023 @02:14PM
(#37769327)
This is the sort of position that is baffling to me. Software engineers claim to be very logical, but this boils down to a preference being stated as some kind of objective truth. Show the evidence (not anecdotes) that static typing gives benefits that are worth the cost. My anecdotal evidence is that I rarely come across problems in production code that would be solved by static typing and people make the same sorts of logic mistakes in languages like Java and Typescript.
[ Parent
| on HN ]
Re:Strong typing, a hill I'm willing to die on
by manicennui on Wednesday October 04, 2023 @02:15PM
(#37769349)
Arguably, nullability and mutability are issues that cause far, far more issues than dynamic typing.
Re:Strong typing, a hill I'm willing to die on
by tubthumper8 on Wednesday October 04, 2023 @05:17PM
(#37771930)
Null reference errors are examples of errors that can be caught before runtime by a static type system. The fact that static type systems like Java don't catch this is evidence that static vs. dynamic is not a binary - some static type systems are better than others.