Estoy escribiendo un compilador para un lenguaje funcional que diseñé con OCaml. Quiero que mi pequeño lenguaje tenga la característica de la coincidencia de patrones, sin embargo, me quedé atascado en encontrar un algoritmo para implementarlo. Parece realmente complicado cuando me meto en el problema. No puedo encontrar mucha información útil sobre el algoritmo correspondiente con google. Seré apreciado si alguien me puede dar una pista o indicarme los recursos. ¿O hay algún truco para aprovechar el poder de OCaml en la comparación de patrones para resolver este problema para que no tenga que implementarlo? ¡Gracias!