|
|
|
|
|
|
by aatd86
223 days ago
|
|
|
Not sure, either :
Parametric polymorphism is compile time. Adding runtime behaviors is a sort of escape hatch. Which is fair although necessary. It's not so much a breakage as it is a necessity, since non parametric code may rely on this too. Or maybe it is about constrained parametricity.
In any case this doesn't seem a big issue. |
|
|