Как я могу кодировать в OCaml что-то вроде этого (main () в C) for (i=0; i<y; i++) if (x==5) {...

Если я загружаю следующий код в utop, после #require "mparser", он принимается на верхнем...

У меня есть синтаксический анализатор, написанный от руки. Каждый нетерминал имеет соответствующий...

Предположим, что я хочу смоделировать простой тип выражения в OCaml: type expr = | `Int of int |...

Я написал прогностический парсер для грамматики LL1. Каждый нетерминал A имеет соответствующий...

Я попытался перевести мою грамматику в AST. Может ли тип AST быть рекурсивным? Например, у меня...

Я хотел бы разработать грамматику LL1 для арифметических уравнений и присвоений переменных.Я начал...

Я перевожу правила моей грамматики в AST. Необходимо ли использовать оператор "и" при определении...

У меня есть эта матрица: let arr = Array.make_matrix 4 4 0;; и что проверить, если все элементы...

Я пытаюсь написать случайную функцию в OCaml, но есть проблема с выводом типа. Мерлин говорит мне,...

Какая самая быстрая реализация графа для удаления и добавления вершин? Кажется, эта часть моего...

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

новичок в Ocaml. Я понятия не имею, что здесь происходит, и я пытался решить это, возможно, в...

Работает ли bs.as со строками Unicode? [@bs.deriving jsConverter] type filterable = [ | `Material |...

Скажите, у меня есть этот простой компонент type evt = | NoOp; type t('a) = 'a; let...

Я знаю, что ocamlc может компилировать исходный файл ocaml .ml и .mli Я читаю исходный код...

Я могу использовать опцию ocamlc -bin-annot для получения файла .cmt, документооборот сказал мне,...

Я пытаюсь прочитать из файла в OCaml и разбить каждую строку на список строк, разделенных пробелами...

Предположим, у меня есть алгебраический тип данных: type ('a,'b) addition = | first of...

Я писал функцию с пользовательскими типами в OCaml, когда обнаружил сообщение об ошибке, которое не...

У меня есть этот код js_of_ocaml, который принимает строку и выполняет ее (при условии, что строка...

Рассмотрим следующий пример кода: function | [] -> "bla" | ds -> let x::l = List

Можно ли dune utop mylib загрузить библиотеку в "смешанном режиме", который игнорировал бы файлы...

Я не могу понять этот код ocaml из исходного кода компилятора ocaml: File: d:\src\ocaml-4.07

В модуле с именем State у нас есть абстрактный тип t. Сейчас мы пытаемся создать совершенно...