Вопросы по теме 'ocaml'
Файл cma не является объектным файлом байт-кода => Что это значит?
Я пытаюсь установить привязки ocaml-sqlite3, чтобы получить доступ к базе данных sqlite из программы o'caml.
Настройка и сборка проходят гладко, но установка не удалась. Потому что файл sqlite3.cma не является объектным файлом байт-кода (см....
13.12.2023
Как установить препроцессор camlp4 в Cygwin/Windows?
Я пытаюсь собрать OPAM в Cygwin в Windows 8. Вот информация об ошибке на этапе настройки:
настроить: ошибка: необходимо установить препроцессор Camlp4. В некоторых операционных системах это отдельные пакеты от основного компилятора OCaml,...
15.11.2023
Почему OCaml не может определить следующий тип:
Рассмотрим следующий код
module type Foo = sig
type t
val do_with_t : t -> unit
end
let any_foo t (module F : Foo) = F.do_with_t t
Что отклоняется следующей прекрасной ошибкой типа:
Error: This expression has type F.t but an...
16.11.2023
Отдельная компиляция модулей OCaml
Я прочитал этот вопрос и другие, но моя проблема с компиляцией не решена.
Я тестирую отдельную компиляцию с этими файлами:
testmoda.ml
module Testmoda = struct
let greeter () = print_endline "greetings from module a"
end
testmodb.ml...
19.01.2024
Действительно ли используются потоки в ocaml?
Глядя на разные проекты ocaml, я не вижу встроенных потоков в языке когда-либо использовал. Даже в недавней книге Real World Ocaml потоки вообще не упоминаются, что странно.
В чем причина этого? Это потому, что Lwt или Core заменяют их?
30.12.2023
Как получить номер строки исключения в OCaml без символов отладки?
Есть ли хороший способ получить номер строки исключения в OCaml без символов отладки? Конечно, если мы включим символы отладки и запустим с OCAMLRUNPARAM=b , мы сможем получить обратную трассировку. Однако мне на самом деле не нужна вся обратная...
08.11.2023
Частота подсчета символов OCAML с использованием переключателей
Я пытаюсь подсчитать количество времени, в течение которого каждый символ появляется в строке, я использую переключатели и цикл for, однако они не увеличиваются должным образом. Вот мой код
let countChar x =
match x with
'A'-> countA...
03.12.2023
Как установить конкретную версию компилятора ocaml с opam
Как я могу установить конкретную версию компилятора ocaml (и совместимые пакеты) с помощью opam (или другого менеджера пакетов)?
Я быстро просмотрел документацию по оператору связи, но не нашел соответствующей информации.
Мне нужен компилятор...
06.11.2023
Регулярное выражение OCaml для даты и времени
Я сделал регулярное выражение для анализа даты и времени в формате «ДД-ММ-ГГГГчч: мм», но, похоже, оно не работает, хотя я не понимаю, почему. У меня нет ошибки, но она просто не принимает дату и время, которые я мог бы передать своей программе....
28.12.2023
Поле записи javascript ReasonML
Скажем, у меня есть следующие типы Bucklescript:
type amqp;
[@bs.val] external amqpLib: amqp = "Amqp";
[@bs.module] external amqplib : amqp = "";
class type amqpConnectionT =
[@bs]
{
pub createChannel: unit => unit;
pub close:...
19.12.2023
Как разорвать цикл при использовании Lwt в OCaml
Я пишу код для мониторинга содержимого файла. Когда программа достигает конца файла, я хочу, чтобы она завершилась чисто.
let log () : input_channel Lwt.t =
openfile "log" [O_RDONLY] 0 >>= fun fd ->
Lwt.return (of_fd input fd);;...
16.12.2023
Как вы сопоставляете функцию с несколькими аргументами со списком чисел
Итак, я пытаюсь отобразить функцию, которая имеет 3 аргумента, 2 даны и список чисел, который будет последней переменной. Я использую свою функцию карты, но я не буду работать, и я не знаю, почему. I работает, если переданная функция имеет 2...
25.11.2023
императив к функционалу: столкновение n тел
Я новичок в функциональном программировании, но знаком с императивным программированием. У меня возникли проблемы с переводом фрагмента кода cpp, связанного с одновременным обновлением двух объектов (контекст представляет собой симуляцию n-тел)....
30.10.2023
Новые материалы
Кластеризация: более глубокий взгляд
Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
Как написать эффективное резюме
Предложения по дизайну и макету, чтобы представить себя профессионально
Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
Частный метод Python: улучшение инкапсуляции и безопасности
Введение
Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
Как я автоматизирую тестирование с помощью Jest
Шутка для победы, когда дело касается автоматизации тестирования
Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv)
Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..