2 ms·
Yes, 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.)
by lifthrasiir 3y ago
Yes, 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.)