2 ms·
> Most useful typesystems with generics are Turing-complete. The easy solution for that is to put parametric polymorphism in the module language, not the type
by rbehrends 10y ago
> Most useful typesystems with generics are Turing-complete.
The easy solution for that is to put parametric polymorphism in the module language, not the type system. ML, Ada, Modula-3 all did it successfully.