ocaml

2зной

1ответ

Я создаю программу, которая использует грамматику и видит, является ли эта грамматика LL (1). Я хочу использовать модуль Set, но я понятия не имею, как действовать, конечно, тип элементов набора будет

1зной

1ответ

Несоответствие подписи

Тип элементов в модуле полукольца - это элемент ElementS, который представляет собой набор элементов. Когда я определяю zero = ElementS.empty, он говорит, что существует тип ошибки как элемент типа <>

2зной

1ответ

Функция перехода автомата

Моя цель - реализовать функцию перехода в OCaml, которая принимает входное состояние, а символ возвращает положительную булеву формулу (включая true и false). То есть: \ дельта (q0, а) = q1 и (q2 или

2зной

3ответ

, чтобы разобрать тип данных ocaml

В случае, если я должен разобрать тип данных как его размер переменной, могу ли я использовать «match» и «with», и если ответ «да», вы можете помочь мне выяснить, как (я . новичок с этим языком), или

1зной

3ответ

Ошибка - Рекурсивные вызовы функций с помощью списков прогона - OCaml

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

2зной

1ответ

Объединение элементов в список - OCaml

Возможно ли создать список, расчесывая элементы списка, а не создавая список списков? Пример: List.combine [ "А", "Б"] [ "С"; "Д"] ;; я получаю: [[ "A", "B"] [ "C", "D"]] Можно ли генерировать [ "A",

1зной

1ответ

nested if -else loop error - ocaml

Я пытаюсь разработать несколько циклов if-else для моего кода. Мой предыдущий код был: let rec appendtolist n list b = let f x = if (b == 0) then x else (append (appendtocode n (List.

5зной

3ответ

Фильтрующие элементы в списке по длине - OCaml

У меня есть следующий список: ["A";"AA";"ABC";"BCD";"B";"C"] Я случайно извлекающий элемент из списка. Но элемент извлечь должен быть размером 3 только не меньше, чем 3. Я пытаюсь сделать это следую