关于OCaml中的模式匹配算法

Question

关于OCaml中的模式匹配算法

functional-programmingpattern-matchingocaml

7

我正在使用OCaml为我设计的一种函数式语言编写编译器。我希望我的小语言具有模式匹配功能，但是在想出实现它的算法时遇到了困境。随着我深入研究这个问题，它似乎变得非常复杂。我在谷歌上找不到与之对应的有用信息。如果有人能给我一些提示或指引我到相关资源中，我将不胜感激。或者是否有任何技巧可以利用OCaml的模式匹配功能来解决这个问题，从而不需要手动实现呢？谢谢！

- hooray9

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- gsg · Accepted Answer

有一些关于编译模式匹配的好论文，由OCaml背后的一些人撰写。特别是参见将模式匹配编译为良好决策树和优化模式匹配。阅读此stackoverflow帖子也可能会有所帮助。