Cuál fue el primer lenguaje con soporte de programación genérico, y cuál fue el primer lenguaje principal tipado estáticamente (ampliamente utilizado) con soporte genérico.
Los genéricos implementan el concepto de tipos parametrizados para permitir múltiples tipos. El término genérico significa "perteneciente o apropiado a grandes grupos de clases".
He visto las siguientes menciones de "primero":
El polimorfismo paramétrico de primer orden ahora es un elemento estándar de los lenguajes de programación estáticamente tipados. Comenzando con el Sistema F [20,42] y los lenguajes de programación funcional, las construcciones han llegado a los lenguajes principales como Java y C #. En estos idiomas, el polimorfismo paramétrico de primer orden generalmente se denomina genérico.
De " Genéricos de un tipo superior" , Adriaan Moors, Frank Piessens y Martin Odersky
La programación genérica es un estilo de programación de computadora en el que los algoritmos se escriben en términos de tipos que se especificarán posteriormente que luego se instancian cuando sea necesario para tipos específicos proporcionados como parámetros. Este enfoque, iniciado por Ada en 1983
De Wikipedia Programación genérica