为什么多态信息在实践中比统一和回溯的组合更强大？

Question

查看编程语言设计历史的一种方法是引入子程序进行革命.二三十年后,认真考虑了子程序调用的两个改进:

• 多态消息
• 统一和回溯

在20年的中断之后,我刚刚在Prolog中进行编程,并且意识到统一和回溯是多么令人难以置信的强大.然而,多态性赢了.为什么？

Answer 1

猜测：消息传递更容易附加到当时流行的实践中并逐渐被吸收。要逐渐接受 Prolog 的想法，需要像Oz这样的工具，它是 90 年代才发明的，比 Smalltalk 晚了大约 20 年。由于 Oz 声称在一个干净的包中支持过程和逻辑编程，因此我认为原则上没有理由世界不能走这条路，如果它在正确的时间知道如何做的话。相反，这种范式与更烧毁磁盘包的态度和第五代的失望联系在一起。

（到目前为止，我自己还没有尝试过 Mozart/Oz。我玩过 Prolog。）