Первые языки с поддержкой родового программирования

Первые языки с поддержкой родового программирования
Первые языки с поддержкой родового программирования - shalevcohen @ Unsplash

Какой язык был первым языком с поддержкой родового программирования, и какой был первым крупным статически типизированным языком (широко используемым) с поддержкой дженериков.

Дженерики реализуют концепцию параметризованных типов, позволяя использовать несколько типов. Термин 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


LetsCodeIt, 23 мая 2023 г., 06:01