Публикации по теме 'ocaml'


Ahrefs теперь использует Melange
OCaml, полностью вниз Немного истории В 2021 году мы решили оценить Меланж как альтернативу ReScript для компиляции кодовой базы интерфейса Ahrefs. О причинах, которые нас туда привели, а также ограничениях, с которыми мы столкнулись в то время, мы писали в предыдущей статье . После этого эксперимента внутри команды продолжились дискуссии. Переход на другой компилятор, который находился на очень ранней стадии, сопряжен с определенным риском. Но то же самое произошло и с..

Создание приложения-калькулятора ReasonML: Часть I
Да, еще один учебник по ReasonML! Вступление Это руководство призвано продемонстрировать, как можно построить простое приложение-калькулятор с помощью ReasonML . Подробное описание преимуществ использования языка статически типизированного функционального программирования , такого как ReasonML, выходит за рамки этого руководства. Однако ссылки на достоинства языка, которые помогают разработчикам выявлять ошибки и более тщательно анализировать свой код, будут кратко выделены...

GraphQLx - Оптимизация GraphQL с помощью OCaml и BuckleScript
Миллионы пользователей используют веб-приложения, которые извлекают данные с сервера с помощью GraphQL. Его спецификация была выпущена и предоставлена ​​Facebook в 2015 году. После выпуска эталонная реализация GraphQL была написана с использованием JavaScript. Однако эталонная реализация имеет несколько недостатков. Прежде всего, лексический анализатор и синтаксический анализатор реализации написаны от руки с использованием динамического языка, такого как JavaScript. Учитывая, что..

Распознавание изображений с помощью Owl
Распознавание изображений Как компьютер может взять изображение и ответить на вопросы типа «что на этом изображении? Кошка, собака или что-то еще? За последние несколько лет область машинного обучения добилась огромного прогресса в решении этой сложной проблемы. В частности, глубокая нейронная сеть (DNN) может достичь разумной производительности в задачах визуального распознавания — в некоторых областях она соответствует или превосходит производительность человека. InceptionV3 —..

Вопросы по теме 'ocaml'

Какие есть экзотические техники синтаксического анализа?
Я анализировал истории покерных комбинаций за последний год и многое узнал о парсинге в целом. Мы начали с регулярных выражений, но быстро поняли, что масштабировать их будет нелегко. Мы пропустили языки с Ruby на C ++ и, наконец, осознали, что...
1722 просмотров
schedule 13.11.2023

Связанный список
Как мне создать связанный список для хранения моих данных в Ocaml? Я пытаюсь создать односвязный список, однако у меня проблемы с синтаксисом. Я просто хочу сделать модуль, чтобы просто получить «а» из связанного списка, вставить «а» или удалить...
4699 просмотров
schedule 01.10.2022

OCaml: сопоставление с любым отрицательным
Есть ли способ получить сопоставление с образцом, чтобы оно соответствовало моему значению с любым отрицательным числом? Неважно, какое отрицательное число, мне просто нужно сопоставить его с любым отрицательным. Я выполнил то, что хочу, с помощью...
4700 просмотров
schedule 30.07.2022

Почему проще написать компилятор на функциональном языке?
Я очень долго думал над этим вопросом, но действительно не смог найти ответ в Google, а также аналогичный вопрос в Stackoverflow. Если есть дубликат, извините за это. Кажется, многие люди говорят, что писать компиляторы и другие языковые...
12708 просмотров

Ленивый и выбирай k в OCaml
В рамках более серьезной проблемы перечисления набора мне нужно написать функцию OCaml 'select', которая принимает список и выводит как список всех возможных последовательностей размера k, состоящих из элементов этого списка (без повторения...
2664 просмотров

Чтение HTML-содержимого URL-адреса в OCaml
Я хотел бы написать функцию OCaml, которая принимает URL-адрес и возвращает строку, состоящую из содержимого HTML-файла в этом месте. Любые идеи? Большое спасибо! Лучший, Сурикатор.
1536 просмотров
schedule 24.04.2024

Модуль загрузки с dynlink повторно инициализирует значения верхнего уровня
У меня проблема: у меня есть глобальная хэш-таблица, а затем я загружаю файл .cma с помощью Dynlink, который регистрирует функцию в хэш-таблице. Однако поведение, которое я, кажется, вижу, заключается в том, что когда модуль динамически связан, все...
345 просмотров
schedule 14.10.2022

объединение camlp4 и camlp5 в строке -pp для ocamlopt?
Я хочу совместить BOLT, SEXP и ocamlViz для большого проекта. Проблема в том, что SEXP и BOLT используют CamlP4, а ocamlviz использует camlp5. Но как я могу объединить вызовы одной цепочки для аргумента -pp для ocamlc / ocamlopt? Вот мой призыв к...
224 просмотров
schedule 18.01.2024

Упрощенная проверка типов при использовании конструкции with type в модулях
Я определил два типа модулей и два модуля module type FOO = sig type e end module type BAR = sig type t end module Foo : FOO = struct type e = int end module Bar : BAR = struct type t = int end Затем я определяю функтор как module Fun...
146 просмотров
schedule 17.11.2023

Как читать строки текстового файла, если разрывы строк /r вместо /n?
У меня есть массивный файл .txt со списком из десятков тысяч прилагательных. В текстовых файлах каждое слово находится на отдельной строке. Я читаю его в список (который затем помещаю в массив с помощью Array.of_list ) со следующей функцией:...
986 просмотров
schedule 15.11.2022

автоматы в OCaml
Я немного новичок в OCaml. Я хочу реализовать алгоритм построения продукта для автоматов в OCaml. Я запутался, как представлять автоматы в OCaml. Кто-нибудь может мне помочь?
3902 просмотров
schedule 11.03.2024

Новичок в OCaml: как мне реализовать исключение Гаусса?
Я новичок в OCaml и хотел бы реализовать исключение Гаусса в качестве упражнения. Я могу легко сделать это с помощью алгоритма с отслеживанием состояния, то есть хранить матрицу в памяти и рекурсивно работать с ней, передавая ссылку на нее. Однако...
730 просмотров
schedule 08.11.2023

У меня есть жестко запрограммированные пути в моем Makefile - как использовать ocamlfind для их устранения? (или как использовать вместо этого ocamlbuild или omake)
Я пытаюсь создать проект ocaml, для которого требуется расширение camlp4 (в данном случае pa_deriving). Вот мой Makefile: include ./Makefile.config OCAMLC := ${OCAMLFIND} ocamlc OCAMLOPT := ${OCAMLFIND} ocamlopt OCAMLDEP := ${OCAMLFIND}...
792 просмотров
schedule 15.11.2022

Как вернуть индекс цикла for в OCaml?
let find_free_next heap start = for i = start to ((Array.length heap)-1) do match heap.(i) with Hdr (Free (h), g) -> i done Как я могу вернуть индекс цикла в виде целого числа после того, как совпадение было найдено?
359 просмотров
schedule 21.07.2022

string_dec и строка в библиотеке Ocaml
У меня есть файл: String0.ml извлечено из String.v (это из библиотеки Coq) String.ml : это строковая библиотека Ocaml. После извлечения моего тестового файла из Coq в Ocaml я хочу использовать String.ml в библиотеке Ocaml,...
427 просмотров
schedule 01.04.2024

Ошибка сегментации (дамп ядра) при изменении типа int на int32 в ocaml
Я делаю преобразование типа в Ocaml из int в int32 . Я изменил некоторые функции библиотеки String Ocaml (код ниже) external length : string -> int32 = "%string_length" external create: int32 -> string = "caml_create_string" external...
899 просмотров
schedule 26.06.2022

ошибка обновления ocsigen
Я хочу обновить ocsigen до версии 2.1 в своей машине freebsd. $pkg_info | grep -i ocsigen ocsigen-1.1.0_1 Web programming framework for OCaml $cat /usr/ports/www/ocsigen/Makefile | grep -i version POPORTVERSION= 2.1 $sudo pormaster...
61 просмотров
schedule 07.04.2024

Верхний уровень OCaml не интерпретирует комментарии
$ ocaml Objective Caml version 3.12.1 _________________________ [| + | | Batteries - | |_____|_|_________________| _________________________ | - Type '#help;;' | | + |] |___________________|_|___| Loading syntax extensions......
390 просмотров
schedule 15.09.2022

Ocaml: Thread.delay не работает, как я ожидал
Я разрабатываю небольшой противоракетный симулятор для классного проекта. Идея состоит в том, чтобы разные процессы/потоки общались друг с другом. Я начал работать над приложением Missile Laucher. Его ракета должна быть ниткой. Итак, это...
387 просмотров
schedule 22.04.2024

Поддерживает ли TypeRex OCaml 4.00.1?
Привет, я хотел бы использовать TypeRex, но он говорит $ ./configure checking for ocamlc... ocamlc OCaml version is 4.00.1 OCaml library path is /usr/local/lib/ocaml checking for ocamlopt... ocamlopt checking for ocamlc.opt... ocamlc.opt checking...
379 просмотров
schedule 01.02.2024