不要用递归实现合一算法 (www.philipzucker.com)

本文探讨了在实现合一算法时，循环迭代方式优于递归方式。作者指出，递归方式在处理变量操作的算法中通常很麻烦，而合一算法涉及状态的穿梭，使用循环和可变状态的命令式风格实现起来更清晰简洁。虽然递归在构建规范化后的项时很方便，但合一算法通常只返回替换，因此递归的优势在此并不明显。文章还讨论了合一算法与模式匹配的关系，并分别用递归和循环的方式实现了模式匹配。此外，作者还介绍了将合一算法的推理规则转换为循环代码的思路，以及惰性替换和立即替换的区别。最后，文章还提及了合一检查、E-graph风格、以及其他相关的实现细节。