3 ms·
> Scala has a very different solution to this problem, called covariant and contravariant traits. I thought Scala had an even stricter value restriction than M
by chombier 4y ago
> Scala has a very different solution to this problem, called covariant and contravariant traits.
I thought Scala had an even stricter value restriction than ML, where only function/methods may get a polymorphic type?
- samth 4y agoYes, that statement is very confused. Scala doesn't do generalization, or polymorphic values, and thus the problem doesn't occur at all.