13 ms·Proper generics would be parametric polymorphism with full program type inference, i.e. an ML derivative.by wyuenho 4y agoProper generics would be parametric polymorphism with full program type inference, i.e. an ML derivative.