4 ms·
Isn't that the whole point of nominal type systems that you shouldn't be "comparing apples and oranges"
by zokier 7y ago
Isn't that the whole point of nominal type systems that you shouldn't be "comparing apples and oranges"
- imoverclocked 7y agoYeah, but type systems are not fool proof. eg: I've seen plenty of Java code which blindly passes String objects around that eventually get parsed into json/int/long/etc. At that point, the type system has been silently circumvented. "Nothing is foolproof given a sufficiently talented fool."
- deleted 7y ago[deleted]