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

Question

查看编程语言设计历史的一种方式是，随着子例程的引入，发生了一场革命。二十、三十年后，认真考虑了对子程序调用的两项改进:

多态消息

统一与回溯

在中断了 20 年之后，我刚刚在 Prolog 中编程，并意识到统一和回溯是多么强大。然而，多态性赢了。为什么？

Answer 1

我对 Prolog 的经验是，当回溯搜索非常适合您的问题域时，它的效果非常好。但是，如果情况并非如此，那么大部分编程工作都将用于与回溯搜索作斗争，使其适应自己的需要。

所以我对这种情况的看法是，回溯搜索是一种语言功能太窄而不能普遍使用。如果我们将统一与更灵活的搜索结合在一起，那么我们可能会看到不同的发展过程。