Erste Sprachen mit generischer Programmierunterstützung

Welches war die erste Sprache mit generischer Programmierunterstützung und welche war die erste große statisch typisierte Sprache (weit verbreitet) mit generischer Unterstützung.

Generics implementieren das Konzept parametrisierter Typen, um mehrere Typen zu ermöglichen. Der Begriff "generisch" bedeutet "sich auf große Gruppen von Klassen beziehend oder für diese geeignet".

Ich habe die folgenden Erwähnungen von "first" gesehen:

Parametrischer Polymorphismus erster Ordnung ist heute ein Standardelement statisch typisierter Programmiersprachen. Beginnend mit System F [20,42] und funktionalen Programmiersprachen haben die Konstrukte den Weg in gängige Sprachen wie Java und C # gefunden. In diesen Sprachen wird parametrischer Polymorphismus erster Ordnung üblicherweise als generisch bezeichnet.

Aus " Generika der höheren Art" , Adriaan Moors, Frank Piessens und Martin Odersky

Generisches Programmieren ist ein Stil der Computerprogrammierung, bei dem Algorithmen in Form von zu spezifizierenden späteren Typen geschrieben werden, die dann instanziiert werden, wenn sie für bestimmte Typen benötigt werden, die als Parameter bereitgestellt werden. Dieser Ansatz wurde 1983 von Ada entwickelt

Aus Wikipedia Generic Programming

Ein bisschen früher als Ada: http://en.wikipedia.org/wiki/Hindley-Milner#algorithm

Erste weit verbreitete Implementierung ist http://en.wikipedia.org/wiki/ML_programming_language

Vermutlich Lisp. Es war mehr oder weniger so in den 1960er Jahren. In der Tat, wenn die Frage ist, was die erste Sprache war, die so ziemlich alles Bemerkenswerte getan hat, werden Sie wahrscheinlich feststellen, dass es Lisp war. Es ist beängstigend zu bemerken, dass die coole neue Funktion in Sprache X tatsächlich die coole neue Funktion von lisp aus dem Jahr 1960 war!

Vor Generika gab es Vorlagen und vor dieser Makroersetzung.