这个问题来自于对过去50年左右计算领域各种进展的评论。
其他一些与会者请我把这个问题作为一个问题向整个论坛提出。
这里的基本思想不是抨击事物的现状，而是试图理解提出基本新思想和原则的过程。
我认为我们在大多数计算领域都需要真正的新想法，我想知道最近已经完成的任何重要而有力的想法。如果我们真的找不到他们，那么我们应该问“为什么?”和“我们应该做什么?”
当前回答
在主流计算中，有一件事没有改变，那就是分级文件系统。在我看来，这是一种耻辱，因为在20世纪80年代末和90年代，一些工作已经完成，以设计更适合现代面向对象操作系统的新型文件系统——那些从头开始就是面向对象的操作系统。
OO操作系统倾向于具有可扩展且灵活的平面对象存储。我认为EROS项目就是围绕这个想法建立的;PenPoint操作系统是20世纪90年代的面向对象操作系统;Amazon S3当然是当代的平面对象存储。
在面向对象的平面文件系统中，至少有两个想法是我特别喜欢的:
The entire disk was essentially swap space. Objects exist in memory, get paged out when they are not needed, and brought back in when they are. There's no need for a hierarchical filesystem that's separate from virtual memory. Programs are "always running," in a sense. A flat file/object store allows content to be indexed and searched, rather than forcing the user to decide -- ahead of time -- where the content will live in relation to other content and what its name shall be. A hierarchical system could be built on top of the flat storage, but it's not required.
正如Alan Cooper在他的书《About Face》中所述，分层文件系统是一个拼凑物，是为20世纪60年代和70年代内存和磁盘存储有限的计算机设计的。可悲的是，Windows和Unix的流行保证了分层文件系统的主导地位。
其他回答
在操作系统核心开发中使用函数式编程/语言。
即时消息已经出现很长时间了(60年中后期)，但是IRC在1988年之前还没有出现。
除此之外，视频通讯(比如，Windows Live Messenger，或Skype，或……)确实改变了我们的沟通方式;)而且是最近才出现的。
<修改> (见VideoConferencing: 1968, alt text http://wpcontent.answers.com/wikipedia/en/thumb/6/64/On_Line_System_Videoconferencing_FJCC_1968.jpg/180px-On_Line_System_Videoconferencing_FJCC_1968.jpg，正如Alan Kay自己在评论中指出的那样:
请再次查看恩格尔巴特在1968年演示的内容(包括实时视频聊天和屏幕共享)。低，猜测真的没有查东西管用。这就是为什么大多数人对事物的发明时间做不充分的假设。)
把它放在我的脸上;)，这是理所当然的。
注意:那个时代的“网络摄像头”(视频设置)并不是为普通的客厅设计的;)
> < /修正
[…继续回答:]
网络摄像头替代文本http://wpcontent.answers.com/wikipedia/commons/thumb/c/c5/Logitech_Quickcam_Pro_4000.jpg/180px-Logitech_Quickcam_Pro_4000.jpg的推广也有帮助(始于1991年，第一个这样的摄像头，称为CoffeeCam，是针对剑桥大学计算机科学系的特洛伊房间咖啡壶)。
所以:80后:2 / 3:IRC和网络摄像头。
成功地将不同的编程范例集成到单一的编程环境中。
(对我来说)这方面的范例是Mozart/Oz编程系统，它将函数式、面向对象、逻辑、并发和分布式编程机制集成为一个连贯的整体。不过还有其他的例子。
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的解决重载的类型类机制，后来发现它为类型级别的编程提供了非常强大的机制。这个故事的结局还在书写中。
计算机图形学，特殊效果和3D动画
