Привязки llvm OCaml

Я работаю над привязками llvm OCaml. Я установил пакет llvm через ОПАМ (opam install llvm), когда я использую llvm в Utop, я получаю следующую ошибку: #require "llvm";; Error: The external function 'llvm_global_succ' is not available.Версия ...

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

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

Что такое основной тип?

Компилятор OCaml имеет "-принцип" вариант и термин «основной тип» иногда упоминается в списке рассылки. Что именно это значит? Определение в Википедии являет...

Почему в OCaml std lib так много не хвостовых рекурсивных функций?

Я переписывал многие стандартные библиотечные функции OCaml, чтобы в последнее время использовать хвостовую рекурсию. Учитывая, что это повлекло за собой пря...

Можно ли использовать клавиши со стрелками в интерпретаторе OCaml?

Используя динамическое программирование в Haskell? [Предупреждение: решение ProjectEuler 31 внутри]

В решении projecteuler.net 'проблема № 31 [СПОЙЛЕРЫ ВПЕРЕДИ] (считая количество способов заработать 2 £ с британскими монетами), я хотел использоват...

подробная ошибка с ocamlyacc

Как получить информацию о типе в интерактивном Ocaml?

Я использую Ocaml версии 4. Когда я в интерактивном режиме определяю некоторый тип, интерпретатор выводит строковое представление типа сразу после этого:

Простой неоптимальный unionfind в OCaml

Я написал программу OCaml для

Странная проблема с загрузкой модуля в OCaml

У меня есть два файла: