3 ms·
> 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 als
by yakshaving_jgt 3y ago
> 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.
- pfdietz 3y agoYes. 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.
- yakshaving_jgt 3y ago> 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.