2 ms·
I think more common name for this is structured typing, so it's not confused with subtyping which is a kind of polymorphism.
by ivanjermakov 2y ago
I think more common name for this is structured typing, so it's not confused with subtyping which is a kind of polymorphism.
- Rusky 2y agoAlgebraic subtyping and structured typing are not the same thing. Algebraic subtyping is a specific approach to type inference and checking of subtyping, which may or may not be used with structural types.