3 ms·
Sub-types can be represented with algebraic types so I’m not sure that’s necessarily true, for example an abstract class with subclasses can be represented as a
by zarathustreal 2y ago
Sub-types can be represented with algebraic types so I’m not sure that’s necessarily true, for example an abstract class with subclasses can be represented as a sum type
- zem 2y agoonly if there is a fixed set of subclasses, which is not always or even mostly the case.