Яка перша мова з загальною підтримкою програмування та яка перша основна статично набрана мова (широко використовується) із підтримкою generics.
Генерики реалізують концепцію параметризованих типів, щоб передбачити кілька типів. Термін "загальний" означає ", що відноситься до або підходить для великих груп класів".
Я бачив такі згадки про "перше":
Параметричний поліморфізм першого порядку тепер є стандартним елементом статично типових мов програмування. Починаючи із системи F [20,42] та функціональних мов програмування, конструкції знайшли шлях до основних мов, таких як Java та C #. У цих мовах параметричний поліморфізм першого порядку зазвичай називають генеричним.
З " Генерики вищого роду" Адріан Мавр, Френк Піссенс та Мартін Одерський
Узагальнене програмування - це стиль комп'ютерного програмування, в якому алгоритми записуються в терміни, які будуть визначені пізнішими типами, які потім інстанціюються, коли це потрібно для конкретних типів, що надаються як параметри. Цей підхід запровадив Ада у 1983 році
З Вікіпедії Узагальнене програмування