Damas-Milner type inference (often called Hindley-Milner type inference) was published in 1983 and has been the basis of every sophisticated static type system since. It was a genuinely new idea in programming languages (admitted based on ideas published in the 1970s, but not made practical until after 1980). In terms of importance I put it up with Self and the techniques used to implement Self; in terms of influence it has no peer. (The rest of the OO world is still doing variations on Smalltalk or Simula.)

类型推断的变化仍在上演;我最喜欢的变体是Wadler和Blott的解决重载的类型类机制，后来发现它为类型级别的编程提供了非常强大的机制。这个故事的结局还在书写中。

Damas-Milner type inference (often called Hindley-Milner type inference) was published in 1983 and has been the basis of every sophisticated static type system since. It was a genuinely new idea in programming languages (admitted based on ideas published in the 1970s, but not made practical until after 1980). In terms of importance I put it up with Self and the techniques used to implement Self; in terms of influence it has no peer. (The rest of the OO world is still doing variations on Smalltalk or Simula.)

类型推断的变化仍在上演;我最喜欢的变体是Wadler和Blott的解决重载的类型类机制，后来发现它为类型级别的编程提供了非常强大的机制。这个故事的结局还在书写中。

前提:自1980年以来几乎没有新发明。

要做的第一件事是定义发明，否则你就会误入歧途。Dictionary.com对发明的第二个定义是:

美国专利法。一种新的、有用的工艺、机器、改进等，以前不存在，被认为是某种独特的直觉或天才的产物，区别于普通的机械技能或工艺。

因此，自1980年以来，计算机领域的新发明很少。都发生了什么?显然，有大量的新技术和新事物出现，但它们是什么呢?

我们不再发明了，我们只是在改进已经存在的东西。

举个简单的例子:

光盘最早出现于1977年，但直到1982年才被业界接受。此时，第一家刻录cd的工厂刚刚准备就绪。最终，到1985年，CD-ROM(只读存储器)被接受为一种媒介。5年后，CD-RW问世。(来源:维基百科)

现在怎么办呢?好吧，考虑到我们有更大的硬盘驱动器(仍然只是在范式上的改进)，我们需要更多的空间来取代VHS市场，使视频与计算机兼容。于是就有了DVD，尽管我删去了对现有CD技术的许多改进。

DVD是在1995年被“发明”出来的。(来源:维基百科)

从那时起，我们有:

可写dvd和可重写dvd 双层dvd 三层和四层dvd(尚未发布，但通过简单的驱动程序修订是可行的) hd - dvd 蓝光光盘

显然，这个列表并不包括所有的内容。但是注意新发明，记住我上面给出的定义，在那个列表中。你不能!它们都是光盘概念的变体，都是相同硬件的变体，都是现有软件的变体。

WHY?

成本。你看，对现有产品进行渐进式改进在经济上更便宜。如果我可以卖给你一张HD DVD或蓝光光盘，因为你认为它是必要的或很酷，那么我就没有必要发布我的三层或四层DVD计划。事实上，我可以收取很高的费用来获得新技术，因为您是早期采用者，您需要我的“新的和改进的!”硬件。

这就是所谓的市场营销或产品关系。

但是软件呢?

怎么了?在1980年之前，有很多软件创新在进行，但从那以后，它主要只是对已经存在的东西进行改进或重新发明轮子。看看任何操作系统或办公软件包就知道了。

结论

As far as I'm concerned, there have been virtually no new inventions in the past 29 years. I could wax long and cross a great many industries, but why should I bother? Once you start thinking about it, and start comparing an "invention" to a prior, similar product ... you'll find it is so similar that it isn't even funny. Even the internal combustion engine has been around since 1906 with no new inventions in that field since then; many improvements and variations of this "wheel" yes, but no new inventions.

甚至连美国在伊拉克部署的新武器——利用微波让人感到震惊，就像触摸灯泡一样——都不是新武器。同样的想法被用于安全系统，然后被分类并退出市场，用超声波让入侵者感到身体不适。这是一种定向形式的武器，具有不同的波长和应用，不是一项新发明。

有一件事让我吃惊，那就是简陋的电子表格。非程序员的人用一个简单的公式网格就可以为现实世界的问题构建狂野而奇妙的解决方案。在桌面应用程序中复制他们的努力通常需要比编写电子表格多10到100倍的时间，最终的应用程序通常更难使用，充满bug !

我相信电子表格成功的关键是自动依赖分析。如果电子表格的用户被迫使用观察者模式，他们就没有机会得到正确的结果。

因此，最大的进步是自动依赖分析。现在，为什么没有任何现代平台(Java， .Net, Web Services)将其构建到系统的核心中呢?特别是在一个通过并行化扩展的时代——依赖关系图导致并行重新计算变得微不足道。

编辑:我刚查过。VisiCalc发布于1979年——让我们假设它是1980年后的发明。

Edit2:似乎艾伦已经注意到了电子表格——如果让他来这个论坛的问题是正确的!

“奇点”，以及所有类似的项目，即用托管代码开发操作系统。

互联网本身早于1980年，但由蒂姆·伯纳斯-李提出并实现的万维网(“通过简单机制分布式超文本”)始于1989/90年。

虽然超文本的概念以前就存在(Nelson的Xanadu曾尝试实现分布式方案)，但WWW是实现分布式超文本系统的一种新方法。Berners-Lee以一种强大且易于实现的方式将简单的客户机-服务器协议、标记语言和寻址方案结合在一起。

我认为大多数创新都是以一种原创的方式重新组合现有的作品。万维网的每一部分以前都以某种形式存在过，但两者的结合只有在事后才变得明显。

我确信你现在正在使用它。