这个问题来自于对过去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的解决重载的类型类机制，后来发现它为类型级别的编程提供了非常强大的机制。这个故事的结局还在书写中。
其他回答
我认为这些答案的部分问题是，它们要么没有得到充分的研究，要么是在尝试一种新的实现或一些已经看到重大“改进”的技术。然而，这并不是一项重大发明。例如，任何关于函数式编程或面向对象编程的讨论都是失败的;这些想法在大多数SO参与者出生之前就已经流传了。
也许是从客户端服务器到点对点的转变。我讨厌整个云/SAS的原因之一是，它是一种客户端/服务器的回归。
我口袋里有VAX你却让我假装是VT-100?
包管理和分布式修订控制。
这些软件开发和分发方式的模式是最近才出现的，并且刚刚开始产生影响。
Ian Murdock称包管理是“Linux给业界带来的最大进步”。他会的，但他说得有道理。自1980年以来，安装软件的方式已经发生了重大变化，但大多数计算机用户仍然没有经历过这种变化。
Joel和Jeff在播客#36中与Eric Sink讨论了版本控制(或版本控制，或源代码控制)。似乎大多数开发人员还没有跟上集中式系统的步伐，DVCS被广泛认为是神秘和不必要的。
来自播客36的文字记录:
0:06:37 阿特伍德:…如果你假设——这是一个很大的假设——大多数开发人员都掌握了基本的源代码控制——坦白地说，我发现这是不正确的…… Spolsky:没有。他们中的大多数人，即使他们知道，也只是签入和签出，但分支和合并——这让他们感到困惑。
有目的的游戏——像Luis von Ahn和他的团队正在开发的集体智慧工具在1980年之前可能是一个梦想，但当时没有一个广泛部署的网络，可以容纳数百万人，并且需要(例如reCAPTCHA)来实现它。
受保护的内存。在保护内存之前，如果你的程序犯了错误，你可以在任何地方开始执行代码——实际上总是挂起整个机器。没错，重启时间到了!
硬件成本低。我的第一台电脑在1978年花了500美元——这在当时是一笔巨款。降低成本让每个人的办公桌上都有了电脑。
