Re:Strong typing, a hill I'm willing to die on
by pfdietz on Wednesday October 04, 2023 @12:24PM
(#37767490)
Yes. It's cheaper to have a lower assurance your program is correct than to have a higher assurance. The claim I'm making is that at the high end, the extra assurance from strong static typing becomes minimal.
[ Parent
| on HN ]
Re:Strong typing, a hill I'm willing to die on
by yakshaving_jgt on Wednesday October 04, 2023 @03:30PM
(#37770367)
> Yes. It's cheaper to have a lower assurance your program is correct than to have a higher assurance.
That's quite clearly not what I'm saying.