Я пишу компилятор для функционального языка, который я разработал с помощью OCaml. Я хочу, чтобы мой маленький язык имел функцию сопоставления с образцом, однако я застрял в разработке алгоритма для его реализации. Это кажется действительно сложным, когда я копаюсь в проблеме. Я могу'Найти много полезной информации о соответствующем алгоритме с Google. Я буду признателен, если кто-то может дать мне подсказку или указать мне на ресурсы. Или есть какие-то хитрости, чтобы воспользоваться OCaml 'сила в сопоставлении с образцом, чтобы решить эту проблему, так что я ненужно это реализовать? Спасибо!