Можно ли создать солиб в OCaml

Я хочу реализовать разделяемую библиотеку для Linux / FreeBSD в OCaml, и мне нужно, чтобы она имела интерфейс C. Таким образом я смогу реализовать привязки для разных языков. У меня есть несколько опасений:

  • OCaml собирает мусор, и я боюсь, что объекты, переданные во внешний код, могут быть объединены в сборку мусора. Можно ли отключить сборщик мусора? Может есть другой способ решения таких проблем?
  • Есть ли способ написать код OCaml, такой как extern "C" C ++ или ему подобный, чтобы он отображался как символ C?
  • Есть ли какой-нибудь аналогичный язык высокого уровня, который лучше подходит для написания солибов? Мне все еще нужно, чтобы компилятор языка был написан на C / C ++, поэтому его будет относительно легко перенести на новые архитектуры.

ocaml ocaml-dune
person NIR    schedule 25.04.2020    source источник
comment
В руководстве есть раздел, посвященный именно этому. Вам следует начать с этого.   -  person glennsl    schedule 25.04.2020
comment
И ваш последний вопрос требует мнения, которое не одобряется в SO, потому что формат не подходит для обсуждения.   -  person glennsl    schedule 25.04.2020
comment
@glennsl, я прочитал руководство, но, насколько я понял, оно предлагает обернуть библиотеку в отдельный код C, создающий экземпляр OCaml, и я пытаюсь избежать такого случая.   -  person NIR    schedule 25.04.2020
comment
То, о чем вы просите, невозможно, ИМХО. Если вы хотите, чтобы код действовал точно так же, как C (связи и распределение памяти), вам в значительной степени придется писать на C. OCaml выбирает свои собственные имена для функций, а отказ от GC приведет к абсурдно выглядящему OCaml для любого нетривиального кода. Все это ИМХО.   -  person Jeffrey Scofield    schedule 25.04.2020

Ответы (1)


arrow_upward
0
arrow_downward

То, что я пытался сделать, невозможно описанным способом. Было решено открыть библиотеку через D-Bus, потому что сложно правильно реализовать привязки для множества языков программирования, но в настоящее время каждый язык имеет батарейки для D-Bus.

П. С .: Rust может быть хорошим инструментом для реализации C solib.

person NIR    schedule 29.04.2020