函数式编程研究者对单子的重新发现。单子有助于让一种纯粹的、懒惰的语言(Haskell)成为一种实用的工具;它还影响了组合子库的设计(一元解析器组合子甚至在Python中找到了自己的方式)。

Moggi的“程序模块的范畴理论解释”(1989)通常被认为是将单子引入有效计算的观点;Wadler的作品(例如，“命令式函数式编程”(1993))将单子作为实用工具。

成功地将不同的编程范例集成到单一的编程环境中。

(对我来说)这方面的范例是Mozart/Oz编程系统，它将函数式、面向对象、逻辑、并发和分布式编程机制集成为一个连贯的整体。不过还有其他的例子。

互联网。

就是这样。

我们需要的是重组，而不是再造。

我们现在拥有所有我们需要的硬件和软件组件，在未来几年里做一些令人惊叹的事情。

我相信科学中有一种疾病，参与者总是试图发明一些新的东西来区别于别人。这与做一些编目或教授旧作品的混乱工作形成了鲜明对比。

建造“新”东西的人通常被认为比重用现有的和几乎古老的作品的人有更高的血统。(对于一个20岁的年轻人来说，Lisp的开发时间是他们生命的两倍还多。1958)

好的旧想法需要复活并广泛传播，我们需要停止试图建立企业或程序员运动，有效地践踏旧的作品和系统，在权力游戏中成为下一个新事物——事实上，大多数“新的闪亮”事物只是旧想法复活的方面。

我认为我们看待这个问题的方式是错误的，得出的结论也是错误的。如果我做对了，循环就会变成:

理念->首次实施->少数人采用->临界质量->商品产品

从最初的想法到商品，你通常会经历几个世纪，假设这个想法能走到那个阶段。达·芬奇可能在1493年就画出了某种直升机，但他花了大约400年的时间才制造出一架能够自己飞离地面的实际机器。

从1580年威廉·伯恩对潜艇的第一次描述到1800年的第一次实施，你有220年的时间，而目前的潜艇仍处于起步阶段:我们几乎对水下旅行一无所知(地球上三分之二的地方都在海底，想想潜在的房地产;)

而且不可能没有更早，更早的想法，只是我们从未听说过。根据一些传说，亚历山大大帝在公元前332年使用了某种潜水钟(这是潜艇的基本概念:一种在海底运送人员和空气供应的装置)。算上这一点，我们从想法(甚至只有一个基本的原型)到生产产品需要2000年的时间。

我想说的是，在1980年之前，那些甚至都不是想法的实现，更不用说产品了……我敢打赌，“快速排序”算法是由中国古代某个无名档案管理员使用的。那又怎样?

当然，40年前就有了联网的计算机，但那无法与今天的互联网相比。基本的理念/技术是存在的，但不管怎样你都不能在线玩《魔兽》游戏。

我认为我们在大多数计算领域都需要真正的新想法，我想知道最近已经完成的任何重要而有力的想法。如果我们真的找不到他们，那么我们应该问“为什么?”和“我们应该做什么?”

从历史上看，我们从来没有能够如此快速地“找到它们”。我认为这个周期正变得越来越快，但计算技术仍然非常年轻。

目前，我正试图弄清楚如何制作全息图(星球大战那种，没有任何物理支持)。我想我知道该怎么做了。我甚至还没有收集工具、材料和资金，即使我在某种程度上取得了成功，实际的想法也已经有几十年的历史了，至少相关的实现/技术已经被使用了很长时间。

一旦你开始列出实际的产品，你就可以相当肯定概念和最初的实现在一段时间前就已经存在了。没关系。

你可能会以某种理由争辩说，从来没有什么是新的，或者一切都是新的，总是如此。这就是哲学，两种观点都有道理。

从实践的观点来看，真理介于两者之间。真理不是二进制概念，布尔逻辑是该死的。

中国人也许早在很久以前就发明了印刷机，但大多数人能够在家以合理的价格打印出像样的彩色照片也不过10年的时间。

发明无处不在，这取决于你的标准和参照系。

DNS, 1983年，以及依赖的进步，如通过MX记录而不是刘海路径来解析电子邮件主机。*不寒而栗*

Zeroconf工作在DNS之上，2000年。我把我的打印机插入网络，我的笔记本电脑看到了它。我在网络上启动了一个web服务器，我的浏览器看到了它。(假设他们广播了他们的可用性。)

NTP(1985)基于Marzullo算法(1984)。精确的时间在紧张的网络。

鼠标滚轮，1995年。使用没有它的鼠标感觉太原始了。不，这不是恩格尔巴特团队想过却忘了提的东西。至少当我问当时团队里的人时没有。(那是1998年左右在恩格尔巴特的一次活动上。我要对付第一批老鼠中的一只。)

1987年的Unicode，以及它在不同类型的编码、规范化、双向文本等方面的相关进展。

是的，人们每天使用这5种方法是很常见的。

这些真的是“新想法”吗?毕竟，有了鼠标，有了字符编码，有了网络计时。告诉我如何区分“新”和“真正的新”，我会回答你的问题。我的直觉告诉我这些足够新了。

在较小的领域，很容易有更近期的进展。例如，在生物信息学领域，Smith-Waterman(1981)和BLAST(1990)有效地使该领域成为可能。但这听起来像是你在要求在整个计算领域中非常广泛的想法，而且容易摘到的水果会被先摘。在一个新的领域总是如此。