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