汎用プログラミングをサポートする最初の言語

これは、ジェネリックプログラミングサポートを備えた最初の言語であり、ジェネリックサポートを備えた最初の主要な静的型付け言語（広く使用されている）です。

ジェネリックは、パラメーター化された型の概念を実装して、複数の型を許可します。総称という用語は、「クラスの大規模なグループに関係する、または適切な」ことを意味します。

「最初」の次の言及を見てきました。

一次パラメトリック多型は、静的型付けプログラミング言語の標準要素になりました。System F [20,42]および関数型プログラミング言語から始めて、構造体はJavaやC＃などの主流言語への道を見つけました。これらの言語では、一次パラメトリック多型は通常ジェネリックと呼ばれます。

「Generics of a Higher Kind」、Adriaan Moors、Frank Piessens、およびMartin Oderskyから

ジェネリックプログラミングは、後から指定する型に関してアルゴリズムが記述され、パラメーターとして提供される特定の型に必要なときにインスタンス化されるコンピュータープログラミングのスタイルです。1983年にAdaによって開拓されたこのアプローチ

ウィキペディアからジェネリックプログラミング

Adaより少し前：http : //en.wikipedia.org/wiki/Hindley-Milner#algorithm

最初に広く使用されている実装はhttp://en.wikipedia.org/wiki/ML_programming_languageです

おそらくLisp。それは1960年代に多かれ少なかれそれをしていた。実際、もし質問が注目すべきことのほとんどをする最初の言語であったなら、おそらくあなたはそれがLispであることに気付くでしょう。言語Xのクールな新機能が実際には1960年のLispのクールな新機能であることを理解するのは、ちょっと怖いです！

ジェネリックの前にはテンプレートがあり、そのマクロ置換の前にありました。