4 ms·
Type systems are applied mathematics. You can’t get more engineering-y than that.
by pohl 9y ago
Type systems are applied mathematics. You can’t get more engineering-y than that.
- gmueckl 9y agoSee 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.