7 ms·
That's a new turn of the phrase for me. I've only ever heard the expression "second-class parametric polymorphism" used in reference to enforcing predicativity
by chrismonsanto 10y ago
That's a new turn of the phrase for me. I've only ever heard the expression "second-class parametric polymorphism" used in reference to enforcing predicativity (which does not rule out polymorphic recursion)
- catnaroek 10y agoAh, I might be wrong, then. Pretend I said “let” instead of “second-class”.