这个问题来自于对过去50年左右计算领域各种进展的评论。
其他一些与会者请我把这个问题作为一个问题向整个论坛提出。
这里的基本思想不是抨击事物的现状，而是试图理解提出基本新思想和原则的过程。
我认为我们在大多数计算领域都需要真正的新想法，我想知道最近已经完成的任何重要而有力的想法。如果我们真的找不到他们，那么我们应该问“为什么?”和“我们应该做什么?”
当前回答
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的解决重载的类型类机制，后来发现它为类型级别的编程提供了非常强大的机制。这个故事的结局还在书写中。
其他回答
现代阴影语言和现代gpu的流行。
GPU也是一个低成本的并行超级计算机，拥有CUDA和OpenCL等工具，可以快速编写高级并行代码。感谢所有在那里压低这些越来越令人印象深刻的硬件奇迹价格的玩家。在接下来的五年里，我希望每台售出的新电脑(iphone也一样)都能基本具备运行大量并行代码的能力，就像24位彩色或32位保护模式一样。
我相信单元测试、TDD和持续集成是1980年之后的重大发明。
数码相机呢?
根据维基百科，第一个真正的数码相机出现在1988年，大众市场的数码相机在20世纪90年代末变得负担得起。
自由软件基金会(成立于1985年)
即使你不是他们哲学的全心全意的支持者，他们一直在推动的理念，自由软件，开源已经对软件行业和一般内容产生了惊人的影响(例如维基百科)。
MPI和PVM并行化。
