关于 OCaml 中的模式匹配算法

Question

我正在为我用 OCaml 设计的函数式语言编写编译器。我希望我的小语言具有模式匹配的功能，但是，我一直在想出一个算法来实现它。当我深入研究这个问题时，它似乎真的很复杂。我用谷歌找不到很多关于相应算法的有用信息。如果有人可以给我一些提示或指向我的资源，我将不胜感激。或者有什么技巧可以利用 OCaml 在模式匹配方面的强大功能来解决这个问题，这样我就不需要实现它了？谢谢！

Answer 1

OCaml 背后的一些人写了几篇关于编译模式匹配的好论文。具体参见Compiling Pattern Matching to Good Decision Trees 和Optimizing Pattern Matching。查看this stackoverflow post 也可能有用。