Как скомпилировать выражения совпадений в ocaml
Я использую printtyped.ml для переноса из ocaml в исходный код scala. Т.е. я использую флаг -dtypedtree и модифицированный принтер typedtree для перевода источника в источник.
Теперь я хотел бы перевести на другой язык, который не имеет таких продвинутых возможностей сопоставления с образцом, как ocaml, в данном случае на Цейлонский язык, но нуждается в информации о типе.
Как я могу скомпилировать Texp_match (выражение соответствия, выраженное как типизированное абстрактное синтаксическое дерево) в его скомпилированную форму, снова как типизированное абстрактное синтаксическое дерево.
Насколько я вижу, компиляция выражения соответствия работает с лямбда-формой, а не со вкусом.
Но я могу ошибаться. Я надеюсь, что это так...
Существует ли функция, которая компилирует выражения соответствия от tast к tast, чтобы я мог распечатать tast на типизированном языке без (расширенного) сопоставления с образцом?