Вопросы по теме 'ocaml'
Ocaml Исключение нехватки памяти; подробный режим говорит о переполнении стека при структурном сравнении
Необходимо исправить очень большую программу ocaml из чужого источника. Одна из проблем заключается в том, что программа вылетает на, казалось бы, невинной строке:
Hashtbl.mem loc_to_no loc
с исключением «Недостаточно памяти». Дело в том,...
1590 просмотров
schedule
04.10.2022
Изменяемые данные в OCaml
Я создал изменяемую структуру данных в OCaml, однако, когда я обращаюсь к ней, выдает странную ошибку,
Вот мой код
type vector = {a:float;b:float};;
type vec_store = {mutable seq:vector array;mutable size:int};;
let max_seq_length = ref 200;;...
1723 просмотров
schedule
22.02.2024
Ошибка синтаксиса Ocaml
Я использую реализацию ленивых списков, где типом может быть Nil или Cons (value, thunk) , где thunk - это функция от единицы к остальной части списка.
Я пытаюсь написать функцию cross , которая бы работала так же, как List.combine . К...
8761 просмотров
schedule
04.01.2024
Не могли бы вы объяснить мне функторы OCaml?
Возможный дубликат: Что в функциональном программировании такое функтор?
Я мало что знаю об OCaml, я некоторое время изучал F # и хорошо его понимаю.
Говорят, что в F # отсутствует модель функторов, которая присутствует в OCaml. Я...
9085 просмотров
schedule
29.12.2023
переходная функция автомата
Моя цель - реализовать функцию перехода в OCaml, которая принимает на вход состояние, а символ возвращает положительную логическую формулу (включая true и false). То есть: \delta(q0,a) = q1 и (q2 или q3)
моя проблема заключается в том, как...
477 просмотров
schedule
02.06.2024
введите +'at в библиотеке карт Ocaml?
Я работаю со встроенной библиотекой карт Ocaml для набора задач, и у меня возникают проблемы с доступом к типу данных самой карты. Предполагается, что это третья реализация словаря (первые две — это список и несбалансированное двоичное дерево...
1457 просмотров
schedule
10.10.2022
создание списка целых в ocaml
Я хочу написать функцию, которая строит список между двумя целыми числами, включительно
rec myFunc x y построит список со всеми int между x и y, включая x и y
Для логики прямо сейчас у меня есть что-то вроде этого:
let rec buildList i n =...
9354 просмотров
schedule
28.10.2023
Makefile для установки библиотеки OCaml
Что мне нужно в моих целях install и uninstall в Makefile для библиотеки OCaml, чтобы она хорошо сочеталась с остальной частью установки, без проблем работала с ocamlfind и так далее? В основном, чтобы быть «хорошим гражданином». В настоящее...
365 просмотров
schedule
06.02.2024
Прекращение синтаксического анализа парсером
У меня совершенно нет идей. В этот день я трачу на это каждую свободную минуту, но у меня совершенно нет идей.
Это моя Ocamlyacc грамматика:
input: /* empty */ { }
| input stmt { }
stmt:
extern { print_endline "Got an extern import"...
210 просмотров
schedule
08.06.2024
OpenGL + GLUT с использованием Ocaml
У меня проблема с установкой OpenGL (и GLut) и его использованием с Ocaml.
Я пробовал много разных пакетов (как под Linux, так и под Windows) и всегда сталкивался с проблемами, связанными с ненайденными модулями или другими проблемами.
Что будет...
1369 просмотров
schedule
01.04.2024
OCambuild не может скомпилировать жалобу на то, что реализация Netsys не предоставляется, когда она
Я пытаюсь скомпилировать сервер XML-RPC, написанный с использованием библиотеки xmlrpc-light в OCaml с ocamlbuild, но я получаю:
$ ocamlbuild server.native
Finished, 0 targets (0 cached) in 00:00:00.
+ ocamlfind ocamlopt -linkpkg -package...
1952 просмотров
schedule
20.05.2024
Как скомпилировать с помощью пользовательского модуля
Я пытаюсь скомпилировать проект с 2 .ml, и один из них представляет собой модуль в этом формате.
module Mymodule =
struct
...
end;;
Я также создал .mli для myModule
module Mymodule =
sig
...
end
Но теперь,...
1173 просмотров
schedule
05.06.2024
Как проверить версию GMP, MPFR и CamlIDL?
У меня простой вопрос... Как я могу проверить версию GMP, установленную на моей машине? Что с МПФР? А как насчет CamlIDL?
Большое тебе спасибо
8193 просмотров
schedule
02.10.2022
Разделение списка элементов на два списка нечетных и четных проиндексированных элементов
Я хотел бы создать функцию, которая принимает список и возвращает два списка: первый содержит все нечетные элементы, а второй - все четные элементы.
Например, учитывая [1;2;4;6;7;9] , я хотел бы вернуть [ [1;4;7] ; [2;6;9] ] .
Я написал это до...
6532 просмотров
schedule
05.01.2024
О топфинде?
Когда я вручную ввожу #use "topfind" ;; на верхнем уровне, это работает следующим образом:
#use "topfind" ;;
- : unit = ()
Findlib has been successfully loaded. Additional directives:
#require "package";; to load a package
#list;;...
1819 просмотров
schedule
28.12.2023
Ошибка при преобразовании в булеву матрицу
У меня эта проблема до сих пор беспокоит меня много. У меня есть (string * string list) list , и я хочу преобразовать его в логическую матрицу.
У меня есть особое условие при трансформации. Например, у меня есть этот список:
let entries =...
114 просмотров
schedule
15.06.2024
Есть ли команда для создания .cmo .cmx .cmi .mli вместе?
У меня есть файл .ml , я хотел бы сгенерировать его .cmo , .cmx , .cmi и .mli как можно меньшим количеством команд, кто-нибудь может помочь?
2681 просмотров
schedule
24.10.2023
ocamlfind не находит пакет, установленный вместе с godi
Я попытался скомпилировать OMakefile с помощью omake. Я установил все необходимые пакеты с GODI. GODI показывает мне эти пакеты как установленные. Ocamlfind не находит все эти пакеты. В списке ocamlfind отображаются только некоторые из них....
2080 просмотров
schedule
22.12.2023
Определить рекурсивные подписи для модулей
Я знаю, что можно определить рекурсивные модули, кто-нибудь знает, как определить рекурсивные подписи? Например, я хотел бы понять:
module type AAA = sig
module Bbb : BBB
type 'a t
val f : 'a Bbb.t -> 'a t
end
module type BBB = sig...
200 просмотров
schedule
06.01.2024
Где я могу найти модуль OCaml Option?
Я имею в виду этот модуль: Option
Не могу найти, open Option выдает Error: Unbound module Option а файла 'option.cma' нет
Это в стандартной библиотеке? Он называется «option.cma»?
3409 просмотров
schedule
05.05.2024