Piszę kompilator dla języka funkcjonalnego zaprojektowanego przez OCaml. Chcę, aby mój mały język miał cechę dopasowywania wzorców, jednak utknąłem w wymyślaniu algorytmu do jego implementacji. Wydaje mi się to bardzo skomplikowane, gdy sięgam do problemu. Nie mogę znaleźć wiele przydatnych informacji na temat odpowiedniego algorytmu z google. Będę doceniony, jeśli ktoś da mi jakąś wskazówkę lub wskaże mi zasoby. Czy są jakieś sztuczki, aby skorzystać z mocy OCaml w dopasowywaniu wzorców, aby rozwiązać ten problem, więc nie muszę go implementować? Dzięki!