Результаты поиска по запросу "ocaml"
Привязки llvm OCaml
Я работаю над привязками llvm OCaml.Я установил пакет llvm через ОПАМ (
Об алгоритме сопоставления с образцом в OCaml
Я пишу компилятор для функционального языка, который я разработал с помощью OCaml. Я хочу, чтобы мой маленький язык имел функцию сопоставления с образцом, од...
Раздельная компиляция модулей OCaml
я прочиталэтот вопрос и другие, но моя проблема с компиляцией не решена.Я тестирую отдельную компиляцию с этими файлами:testmoda.ml
Что означает предупреждение 40: эта запись ... содержит поля, которые не видны в текущей области видимости
Пожалуйста, рассмотрите следующий код:
Как объединить типы модулей (подписи) OCaml, определяющие один и тот же тип?
В OCaml у меня есть два типа модулей, определяющих тип
Разработка плагина Frama-C: получение результатов анализа стоимости
Я работаю над плагином для Frama-C, используя Value-analysis. Я просто хочу напечатать состояние переменных (значений) после каждого оператора (я думаю, что ...