Об алгоритме сопоставления с образцом в OCaml

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

Ответы на вопрос(1)

Ваш ответ на вопрос