Primeiros idiomas com suporte a programação genérica

15

Qual foi o primeiro idioma com suporte a programação genérica, e qual foi a primeira grande linguagem de tipagem estática (amplamente usada) com suporte a genéricos.

Os genéricos implementam o conceito de tipos parametrizados para permitir vários tipos. O termo genérico significa "pertencente ou apropriado a grandes grupos de classes".

Eu vi as seguintes menções de "primeiro":

First-order parametric polymorphism is now a standard element of statically typed programming languages. Starting with System F [20,42] and functional programming lan- guages, the constructs have found their way into mainstream languages such as Java and C#. In these languages, first-order parametric polymorphism is usually called generics.

De " genéricos de um tipo superior" Adriaan Moors, Frank Piessens e Martin Odersky

Generic programming is a style of computer programming in which algorithms are written in terms of to-be-specified-later types that are then instantiated when needed for specific types provided as parameters. This approach, pioneered by Ada in 1983

De Wikipedia Programação Genérica

    
por oluies 19.10.2010 / 19:42
fonte

3 respostas

8

Um pouco antes de Ada: link

A primeira implementação amplamente usada é o link

    
por 10.02.2011 / 18:05
fonte
4

Provavelmente Lisp. Foi mais ou menos fazendo isso na década de 1960. De fato, se a pergunta é qual foi a primeira língua a fazer praticamente qualquer coisa de nota, você provavelmente descobrirá que foi lisp. É meio assustador perceber que o novo recurso legal na linguagem X era, de fato, o novo recurso legal do lisp em 1960!

    
por 10.02.2011 / 17:56
fonte
3

Antes dos genéricos, havia modelos e antes dessa substituição de macro.

    
por 20.10.2010 / 05:04
fonte