4 ms·
Seems like "Why You Need Algebraic Subtyping" might be a better title for this post.
by jolux 2y ago
Seems like "Why You Need Algebraic Subtyping" might be a better title for this post.
- ivanjermakov 2y agoI 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.