3 ms·
Trivia: parametric polymorphism (aka generics) was first done in ML, 46 years ago. WP cites this reference: Milner, R., Morris, L., Newey, M. "A Logic for Comp
by fulafel 5y ago
Trivia: parametric polymorphism (aka generics) was first done in ML, 46 years ago. WP cites this reference:
Milner, R., Morris, L., Newey, M. "A Logic for Computable Functions with reflexive and polymorphic types", Proc. Conference on Proving and Improving Programs, Arc-et-Senans (1975)
(And of coures we've been able to write generic code in dynamic languages for a long time as this is a static typing concept)