3 ms·
The weakness of type inference arises, as you note, due to subtype polymorphism. You can't escape from this when you've got class-based OO, it seems.
by tel 11y ago
The weakness of type inference arises, as you note, due to subtype polymorphism. You can't escape from this when you've got class-based OO, it seems.