Ich schreibe einen Compiler für eine funktionale Sprache, die ich mit OCaml erstellt habe. Ich möchte, dass meine kleine Sprache die Möglichkeit des Pattern Matchings bietet, aber ich habe keinen Algorithmus gefunden, um ihn zu implementieren. Es scheint wirklich kompliziert zu sein, wenn ich mich mit dem Problem befasse. Ich kann nicht viele nützliche Informationen über den entsprechenden Algorithmus bei Google finden. Ich bin dankbar, wenn mir jemand einen Hinweis geben oder mich auf die Ressourcen hinweisen kann. Oder gibt es irgendwelche Tricks, um die Leistungsfähigkeit von OCaml beim Pattern Matching zu nutzen, um dieses Problem zu lösen, sodass ich es nicht implementieren muss? Vielen Dank!