这个问题来自于对过去50年左右计算领域各种进展的评论。
其他一些与会者请我把这个问题作为一个问题向整个论坛提出。
这里的基本思想不是抨击事物的现状，而是试图理解提出基本新思想和原则的过程。
我认为我们在大多数计算领域都需要真正的新想法，我想知道最近已经完成的任何重要而有力的想法。如果我们真的找不到他们，那么我们应该问“为什么?”和“我们应该做什么?”
当前回答
成功地将不同的编程范例集成到单一的编程环境中。
(对我来说)这方面的范例是Mozart/Oz编程系统，它将函数式、面向对象、逻辑、并发和分布式编程机制集成为一个连贯的整体。不过还有其他的例子。
其他回答
软件专利
函数式编程研究者对单子的重新发现。单子有助于让一种纯粹的、懒惰的语言(Haskell)成为一种实用的工具;它还影响了组合子库的设计(一元解析器组合子甚至在Python中找到了自己的方式)。
Moggi的“程序模块的范畴理论解释”(1989)通常被认为是将单子引入有效计算的观点;Wadler的作品(例如，“命令式函数式编程”(1993))将单子作为实用工具。
计算机图形学，特殊效果和3D动画
更好的用户界面。
今天的用户界面仍然很糟糕。我指的不是小的方面，而是大的、基本的方面。我不禁注意到，即使是最好的程序也仍然有一些接口，这些接口要么极其复杂，要么需要以其他方式进行大量的抽象思考，而且无法达到传统的非软件工具的易用性。
诚然，这是由于软件可以比传统工具做更多的事情。但这不是接受现状的理由。此外，大多数软件都做得不好。
In general, applications still lack a certain “just works” feeling are too much oriented by what can be done, rather than what should be done. One point that has been raised time and again, and that is still not solved, is the point of saving. Applications crash, destroying hours of work. I have the habit of pressing Ctrl+S every few seconds (of course, this no longer works in web applications). Why do I have to do this? It's mind-numbingly stupid. This is clearly a task for automation. Of course, the application also has to save a diff for every modification I make (basically an infinite undo list) in case I make an error.
解决这个问题其实并不难。在每个应用程序中都很难实现它，因为没有好的API可以做到这一点。编程工具和库必须显著改进，才能在所有平台和程序上轻松实现这些工作，适用于所有具有任意备份存储且不需要用户交互的文件格式。但在我们最终开始编写“好的”应用程序而不仅仅是足够的应用程序之前，这是必要的一步。
I believe that Apple currently approximates the “just works” feeling best in some regards. Take for example their newest version of iPhoto which features a face recognition that automatically groups photos by people appearing in them. That is a classical task that the user does not want to do manually and doesn't understand why the computer doesn't do it automatically. And even iPhoto is still a very long way from a good UI, since said feature still requires ultimate confirmation by the user (for each photo!), since the face recognition engine isn't perfect.
多代理系统。
你可以回到分布式人工智能的根源，我认为仍然可以安全地呆在80年代。
多智能体系统有很多组成部分，有很多研究涉及语言行为或合作，所以很难指出并说“看，这里，这是不同的，创新的和重要的!”但我还是会试试的。: -)
我认为信念-欲望-意图模型尤其值得注意。智能体在内部构建了世界的模型。他们有特定的愿望或目标，并制定计划，如何与他们所知道的世界互动，以实现这些目标，从而形成意图。
或者打个比方，电影《创》(Tron)中的角色对他们周围的世界是如何运作的有一定的了解。他们不了解整个世界，他们可能会对世界的某些部分产生误解。但他们有愿望和目标，他们提出了进一步实现目标的计划。如果你看过《创》，我相信你会有类似的感觉。
它还没有对计算机产生太大的影响。但是，你看，那些对计算机产生影响的东西似乎需要几十年的时间。参见:OOP, GC，字节码编译。
