3 ms·
> Subtyping, in the broadest sense, is just a non-trivial type relation. Does parametric polymorphism count as an example of subtyping? After all, it allows yo
by Joker_vD 3y ago
> Subtyping, in the broadest sense, is just a non-trivial type relation.
Does parametric polymorphism count as an example of subtyping? After all, it allows you to subsume e.g. Int -> Int into ∀X. X -> X.
- lifthrasiir 3y agoYes, or more explicitly speaking, parametric polymorphism involves subtyping in its typing rules. But it is not the only one. (At least in a broader sense.)