Я новичок в OCaml (и все еще новичок в изучении программирования в целом), и у меня есть быстрый...

У меня есть функция, определенная так: let test_func lis = match lis with h::t -> match h with...

Я знаю, что мы можем определить два типа, связывающих друг друга, например: type a = | CC of b and...

Я пишу компилятор в ocaml, используя ocamllex / yacc. Все идет хорошо, но у меня проблема с...

Я определил два типа записей: type name = { r0: int; r1: int; c0: int; c1: int; typ: dtype; uid:...

сейчас я начинаю с Ocaml, но у меня проблемы с этим.Когда я ввожу этот код, мои тестовые примеры...

Я определил следующий интерфейс и модуль: module type TYPE = sig type t end module Type = (struct...

«Напишите функцию lv: cfg -> (blabel -> ide set), которая вычисляет анализ переменных в...

Я хочу написать функцию, и я хочу узнать о том, как уточнить и описать словами (анализом) код,...

Это функция, которую я вычислил, класс эквивалентности представляет собой набор элементов, которые...

Я определил модуль Matrix следующим образом: module Matrix = struct type 'a matrix = 'a...

Я определил модуль в файле mod.ml следующим образом: module Area = struct ... let test : unit =...

Я пытался скомпилировать OMakefile с помощью omake.Я установил все необходимые пакеты с GODI.GODI...

Я новичок в Окамле.У меня проблема с отслеживанием количества рекурсивных вызовов в функции....

У меня есть файл .ml, я хотел бы сгенерировать его .cmo, .cmx, .cmi и .mli с помощью как можно...

Я просто определяю модуль Matrix следующим образом: module Matrix = struct type element type t =...

Я хотел бы построить модуль общей матрицы, который включает в себя такие общие операции, как длина,...

У меня проблема с компиляцией с помощью ocamlopt и float Я нахожусь под Ubuntu 10.04 и Ocaml 3.11...

У меня есть эта функция для вычисления класса эквивалентности let eq_class m i = let column = m.(i)...

Я четко задаю вопрос в этом вопросе. У меня есть такой график: a <-> b -> e -> f | | v...

Следуйте примеру счетчика из моего предыдущего вопроса: Ошибка при преобразовании в булеву матрицу

У меня эта проблема все еще беспокоит меня. У меня есть (string * string list) list, и я хочу...

Учитывая этот тип: type 'a variable = { name: string; mutable value: 'a } Я пытаюсь...

У меня есть такой код: type boolean = T | F type bexp = Const of boolean | Var of variable | Bop of...

У меня есть этот тип модуля: module type MOD = sig type operand type op val print : op -> string...