这个问题来自于对过去50年左右计算领域各种进展的评论。
其他一些与会者请我把这个问题作为一个问题向整个论坛提出。
这里的基本思想不是抨击事物的现状，而是试图理解提出基本新思想和原则的过程。
我认为我们在大多数计算领域都需要真正的新想法，我想知道最近已经完成的任何重要而有力的想法。如果我们真的找不到他们，那么我们应该问“为什么?”和“我们应该做什么?”
当前回答
自然语言处理。我第一次遇到这种情况是在20世纪90年代初，当时使用的是赛门铁克(Symantec)的一个名为Q&A的程序，它允许您通过键入英文查询来查询数据库。直到今天，我仍然对它印象深刻。
其他回答
开放的PC设计带来了价格实惠的组件(苹果除外)，竞争推动了创新和更低的价格。 这导致了巨大的变化，从用户走向电脑——那里有一个终端可以使用——到电脑来到用户面前，出现在家里，甚至在一个人的大腿上。
我相信单元测试、TDD和持续集成是1980年之后的重大发明。
1980年1月2日我开始编程。我试着思考在我的职业生涯中有哪些重大的新发明。我很难想出一个。大多数我认为重要的东西实际上是在1980年之前发明的，但直到1980年之后才被广泛采用或改进。
Graphical User Interface. Fast processing. Large memory (I paid $200.00 for 16k in 1980). Small sizes - cell phones, pocket pc's, iPhones, Netbooks. Large storage capacities. (I've gone from carrying a large 90k floppy to an 8 gig usb thumb drive. Multiple processors. (Almost all my computers have more than one now, software struggles to keep them busy). Standard interfaces (like USB) to easily attach hardware peripherals. Multiple Touch displays. Network connectivity - leading to the mid 90's internet explosion. IDE's with Intellisense and incremental compiling.
虽然硬件有了巨大的进步，但软件行业一直在努力跟上。我们比1980年领先了几光年，但大多数改进都是改进，而不是发明。自1980年以来，我们一直忙于应用技术进步，而不是发明创造。就其本身而言，这些渐进式的发明大多不重要或不强大，但当你回顾过去29年，它们相当强大。
我们可能需要接受渐进式的改进并引导它们。我相信真正原创的想法可能会来自很少接触计算机的人，而且他们越来越难找到。
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的解决重载的类型类机制，后来发现它为类型级别的编程提供了非常强大的机制。这个故事的结局还在书写中。
在操作系统核心开发中使用函数式编程/语言。
