Результаты поиска по запросу "ocaml"

2 ответа

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

Я написал программу OCaml дляunion find алгоритм. Этот алгоритм, который я написал, не является оптимальным и является самой простой версией. Я поместил свой код OCaml здесь, потому что я не уверен, достаточно ли этот код хорош(несмотря на сам ...

2 ответа

Несоответствующие предположения относительно интерфейса (Ocaml)

Я вдруг начал получать эту ошибку. Я не знаю, как диагностировать или исправить это. Я должен пройти черезbar.ml и проверить каждую функцию Big_int на наличие подписи вBig_int.mli? File "foo.ml", line 1, characters 0-1: Error: The files ...

2 ответа

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

ТОП публикаций

2 ответа

Объединение столбца списков в OCaml

Я хочу существенно транспонировать матрицу в OCaml (без использования рекурсии или каких-либо циклов)Например, если у меня есть следующая матрица:

1 ответ

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

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

2 ответа

ocamlfind не видит установленный пакет

Я хотел скомпилировать свой проект с помощью команды: ocamlfind ocamlopt -package ocamlnet -package batteries -package unix -linkpkg oauth.mlно я получаю следующую ошибку: ocamlfind: Package `ocamlnet' not found make: *** [oauth.cmi] Error ...

1 ответ

Привязки llvm OCaml

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

2 ответа

Не получаете графику даже после переустановки Ocaml (Mac OS X)?

Следующийэта почта Я установил brew, а затем переустановил ocaml, чтобы включить графику:

4 ответа

Когда в OCaml вступает в действие смягченное ограничение ценностей?

Может ли кто-то дать краткое описание того, когда наступит ослабленное ограничение стоимости? Мне было трудно найти краткое и четкое описание правил. Есть бумага ...

4 ответа

Какова наиболее эффективная реализация массивов с функциональными обновлениями?

Мне нужна массивоподобная структура данных с максимально быстрым функциональным обновлением. Я'Я видел несколько разных реализаций гибких массивов, котор...