Какой язык был первым языком с поддержкой родового программирования, и какой был первым крупным статически типизированным языком (широко используемым) с поддержкой дженериков.
Дженерики реализуют концепцию параметризованных типов, позволяя использовать несколько типов. Термин generic означает "относящийся к большим группам классов или соответствующий им".
Я встречал следующие упоминания слова "первый":
Параметрический полиморфизм первого порядка сегодня является стандартным элементом статически типизированных языков программирования. Начиная с System F [20,42] и языков функционального программирования, эти конструкции нашли свой путь в основные языки, такие как Java и C#. В этих языках параметрический полиморфизм первого порядка обычно называют дженериками.
Из статьи "Generics of a Higher Kind" , Adriaan Moors, Frank Piessens, and Martin Odersky
Генеративное программирование - это стиль компьютерного программирования, в котором алгоритмы пишутся в терминах типов, которые будут определены позже, а затем инстанцируются, когда это необходимо, для конкретных типов, предоставленных в качестве параметров. Этот подход, пионером которого в 1983 году стала система Ada
Из Википедии Общее программирование
Немного раньше, чем Ada: http://en.wikipedia.org/wiki/Hindley-Milner#algorithm
Первая широко используемая реализация - http://en.wikipedia.org/wiki/ML_programming_language