3 ms·
The point to type checking is protecting abstractions, and it being "optional" reduces its value to zero.
by catnaroek 11y ago
The point to type checking is protecting abstractions, and it being "optional" reduces its value to zero.
- qwertyuiop924 11y agoWrong. Sometimes type checking is uneeded. In addition it can make prototyping easy: Write the code, add the annotations later. Of course, you need some discipline to make it work, but of what good practice isn't that true? And if you really hate it, just type (tc +) at the start of your code. Magic!