具有通用编程支持的第一语言

Question

这是第一种具有泛型编程支持的语言，以及第一种支持泛型的主要静态类型语言(广泛使用)。

泛型实现参数化类型的概念，以允许多个类型。泛型一词的意思是“涉及或适合于大类组”。

我见过以下提到“第一”的地方：

一阶参数多态现在是静态类型化编程语言的标准元素.从System 20,42和functional -guage开始，这些构造已经进入主流语言，如Java和C#。在这些语言中，一阶参数多态性通常称为泛型.

来自"较高种类的仿制品“，阿德里安摩尔，弗兰克皮森斯和马丁奥德斯基“

泛型编程是一种计算机编程风格，其中的算法是按照指定的-指定的-后来的类型编写的，然后在需要时对作为参数提供的特定类型进行实例化。这一方法是由Ada于1983年开创的。

来自维基百科通用程序设计

Answer 1

比Ada早一点：http://en.wikipedia.org/wiki/Hindley-Milner#algorithm

第一个被广泛使用的实现是http://en.wikipedia.org/wiki/ML_编程_语言

Answer 2

可能是Lisp。在上世纪60年代，S就或多或少地这么做了。事实上，如果问题是什么是第一语言来做任何值得注意的事情，你可能会发现它是lisp。意识到X语言中的酷新特性实际上是1960年lisp的酷新特性，这是一种可怕的感觉！

Answer 3

在泛型之前有模板，在宏替换之前。