关于OCaml中的模式匹配算法

hoo*_*ay9 6 ocaml functional-programming pattern-matching

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

gsg*_*gsg 10

关于OCaml背后的一些人编译模式匹配的文章很多.特别参见编译模式匹配到良好决策树优化模式匹配.查看此stackoverflow帖子可能也很有用.