通用程序设计--它从何而来？

Question

我试图找出泛型编程是否是一种函数编程特性，然后引入到Java、C++和C#中，还是后者从诸如Haskell、Lisp、OCaml等函数式编程语言中复制了它？

谷歌给了我很多关于什么是通用编程，但不是它的起源。我所能看到的就是Ada很早就实现了。

你会把它归类为函数式编程技术吗？

Answer 1

多态数据类型从20世纪70年代初就已经出现(随着ML语言和辛德雷-米尔纳算法的引入)。

一个更通用的形式，Lisp宏，从20世纪60年代开始出现。

Answer 2

根据维基百科文章，它起源于Ada和/或CLU (两者都是面向对象的编程语言)：

这种方法是由Ada在1983__中率先提出的，它允许编写公共函数或类型，这些函数或类型仅在使用它们时操作的一组类型中不同，...泛型编程工具最早出现在1970年代的CLU和Ada等语言中。

Answer 3

就像许多伟大的计算思想一样，任何你能识别出来的“第一”可能并不是真正的第一次使用。例如，Christopher在他的有影响力的1967年课堂讲稿中讨论了这个想法(在标签“多态”下)，没有给出属性，所以这个想法可能在那个时候就已经广为人知了。

当时，函数编程和面向对象编程之间并没有很大的分歧.