这个问题来自于对过去50年左右计算领域各种进展的评论。

其他一些与会者请我把这个问题作为一个问题向整个论坛提出。

这里的基本思想不是抨击事物的现状,而是试图理解提出基本新思想和原则的过程。

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


当前回答

来回答一个稍微不同的问题。我认为我们需要在隐私、信任和声誉方面有大的想法。我的电脑几乎能捕捉到关于我的一切,我在哪里,我说了什么,我打了什么,我看到了什么……大量的信息和同等数量的实体(人、商店、网站、服务),我可能想与他们共享其中的一些信息,即使它只是一个数据块。

我的信息需要挖掘(不是谷歌的,Facebook的或苹果的)。我的计算机需要代表我使用它,因此信任需要端到端。这样我们就可以将新的信息中间商去中介化。

其他回答

我能想到的1980年还不存在的活动是跨脱节域的全局搜索。比如谷歌和一个(非常少的)前辈——都是在1980年之后。与语法标记的约定相关联,我认为这是一个“新想法”;但我认为这也只是刚刚开始;头顶上有很大的空间可以建房子。

有一种设备有可能加速这种已经闪电般的速度,它将很快出现,即相机/地理信息系统/电话/网络的组合。它首次创造了在四维空间中自动收集、分类和聚合数据点的机会。甚至这类数据的繁琐手工收集也在萌芽;想象一下,当它默认执行时。

无论好坏。

增强现实。这还没有真正流行起来,但从想法来看,我认为它是巨大的,从能够在地面上画虚拟箭头来帮助你找到目的地,到用有用的信息或审美幻想装饰你周围的一切。

想象一下,你的手机在房间的另一头响了起来,你看着它,上面会跳出一个信息泡泡,告诉你是谁打来的。那该有多酷?AR将给我们思考技术和与技术互动的方式带来巨大的变化。

鬼屋可能也会变得更加可怕。

我还想提到用于脑机接口的脑电图,但显然这是在20世纪70年代首次发明的。

也许是从客户端服务器到点对点的转变。我讨厌整个云/SAS的原因之一是,它是一种客户端/服务器的回归。

我口袋里有VAX你却让我假装是VT-100?

怪诞的开发风格(由Eric S Raymond在http://www.catb.org/~esr/writings/cathedral-bazaar/cathedral-bazaar/中描述)。Raymond认为1991年Linus Tourvald发布的Linux内核是Bizarre开发风格的第一次使用。

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

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