Estou escrevendo um compilador para uma linguagem funcional que projetei com o OCaml. Eu quero que minha pequena linguagem tenha o recurso de correspondência de padrões, no entanto, fiquei preso a criar um algoritmo para implementá-lo. Parece muito complicado quando entro no problema. Não consigo encontrar muita informação útil sobre o algoritmo correspondente com o google. Eu serei grato se alguém puder me dar alguma sugestão ou me indicar os recursos. Ou existem truques para aproveitar o poder do OCaml na correspondência de padrões para resolver esse problema, para que eu não precise implementá-lo? Obrigado!