Strong typing, a hill I'm willing to die on

Re:Strong typing, a hill I'm willing to die on by yakshaving_jgt on Wednesday October 04, 2023 @10:10AM (#37765457)

> Strong static typing is useful in the environment where the code is not adequately tested. That's because tests adequate to make the code bulletproof will also detect the problems strong static typing could detect, rendering SST superfluous.

Ok, but it's cheaper to not have to write those tests than it is to write those tests.

[ Parent | on HN ]

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.

[ Parent | on HN ]