Nano Hash - криптовалюты, майнинг, программирование

Отдельная компиляция модулей OCaml

Я прочитал этот вопрос и другие, но моя проблема с компиляцией не решена.

Я тестирую отдельную компиляцию с этими файлами:

testmoda.ml

module Testmoda = struct
  let greeter () = print_endline "greetings from module a"
end

testmodb.ml

module Testmodb = struct
  let dogreet () = print_endline "Modul B:"; Testmoda.greeter ()
end

testmod.ml

let main () =
  print_endline "Calling modules now...";
  Testmoda.greeter ();
  Testmodb.dogreet (); 
  print_endline "End."
;;
let _ = main ()

Теперь я создаю файл .mli

ocamlc -c -i testmoda.ml >testmoda.mli

и testmoda.cmi есть.

Далее я создаю файл .cmo без ошибок:

ocamlc -c testmoda.ml

Хорошо, сделайте то же самое с testmodb.ml:

strobel@s131-amd:~/Ocaml/ml/testmod> ocamlc -c -i testmodb.ml >testmodb.mli
File "testmodb.ml", line 3, characters 45-61:
Error: Unbound value Testmoda.greeter

Еще одна попытка:

strobel@s131-amd:~/Ocaml/ml/testmod> ocamlc -c testmoda.cmo testmodb.ml
File "testmodb.ml", line 3, characters 45-61:
Error: Unbound value Testmoda.greeter

Другие комбинации также не увенчались успехом.

Как скомпилировать testmodb.ml и testmod.ml? Это должно быть легко — я думаю, без ocamlbuild/omake/oasis.

Синтаксические ошибки в файлах исключены, если я совмещаю их в один файл (с необходимым пространством между ними), он отлично компилируется и выполняется.

ocaml
25.02.2014

Ответы:


1

OCaml предоставляет вам модуль бесплатно на верхнем уровне каждого исходного файла. Таким образом, ваш первый модуль на самом деле называется Testmoda.Testmoda, функция называется Testmoda.Testmoda.greeter и так далее. Все будет работать лучше, если ваши файлы будут содержать только определения функций.

В качестве побочного комментария: если вы собираетесь использовать интерфейс, сгенерированный ocamlc -i, вам действительно не нужны файлы mli. Интерфейс при отсутствии mli-файла такой же, как тот, что сгенерировал ocamlc -i. Если вам не нужен интерфейс по умолчанию, использование ocamlc -i дает хорошую отправную точку для вашего файла mli. Но для такого простого примера, как этот, все выглядит намного сложнее, чем оно есть на самом деле (ИМХО).

Если вы измените свои файлы, как я описываю (удалите дополнительные объявления модулей), вы можете скомпилировать и запустить с нуля следующим образом:

$ ls
testmod.ml  testmoda.ml testmodb.ml
$ cat testmoda.ml
let greeter () = print_endline "greetings from module a"
$ cat testmodb.ml
let dogreet () = print_endline "Modul B:"; Testmoda.greeter ()
$ ocamlc -o testmod testmoda.ml testmodb.ml testmod.ml
$ ./testmod
Calling modules now...
greetings from module a
Modul B:
greetings from module a
End.

Если вы уже скомпилировали файл (с ocamlc -c file.ml), вы можете заменить .ml на .cmo в приведенной выше команде. Это работает, даже если все имена файлов являются .cmo файлами; в этом случае ocamlc просто связывает их вместе для вас.

25.02.2014
  • о чудо, без явного определения модуля он работает как положено, ocamlc -c testmoda.ml создает .cmi и .cmo , последний можно использовать для компиляции testmod.ml - отдельная компиляция. 26.02.2014
  • (не смог отредактировать комментарий) Итак, вот отдельная компиляция: ocamlc -c testmoda.ml;ocamlc -c testmodb.ml; ocamlc -o testmod testmoda.cmo testmodb.cmo testmod.ml 26.02.2014
  • Обратите внимание, что единственная команда, которую я дал, также выполняет отдельную компиляцию :-) Она полностью эквивалентна этим трем командам. Но, конечно, иногда вы хотите скомпилировать только один из исходных файлов, как показано. Это также работает для testmod.ml. 26.02.2014
    • Новые материалы
    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..