4 ms·
See my reply to the other comment. Type systems are tools that simply the process of checking that you do not mangle data by applying the wrong instructions t
by gmueckl 9y ago
See my reply to the other comment.
Type systems are tools that simply the process of checking that you do not mangle data by applying the wrong instructions to them. They didn't come out of nowhere.
- pohl 9y agoMath is a tool, too, yet applying mathematical methods is one of the defining characteristics of engineering.