ocaml

1зной

1ответ

List.fold_left "Это выражение имеет тип 'список, но ожидалось выражение типа' b * 'c *' d

На самом деле я смущен этим, я обычно использую функцию сгиба без проблем, но теперь я не могу кажется, чтобы заставить его работать по какой-то причине, и я не могу найти, почему. L.fold_left(fun (a,

1зной

1ответ

OCaml - Подписи, модули и типы

У меня есть основной вопрос о типах в подписях. Если у меня есть два OCaml файлы, такие как: istr.ml type t = int let get_string f v = f v и fstr.ml type t = float let get_string f v = f v и п

1зной

2ответ

случай совпадения в OCaml

Я хочу создать список типов (char, 'list), где каждый символ является строчной буквой алфавита. Я получаю предупреждение Warning 11: this match case is unused. для второго случая совпадения в get_list

0зной

1ответ

Автоматическое запоминание сложных типов данных в OCaml посредством перечисления?

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

0зной

1ответ

LLVM учебник OCaml Ошибка компиляции

Я работал над учебником LLVM Kaleidoscope для OCaml. На second part of the tutorial, я переходите к примеру кода в папке OCaml-Kaleidoscope\Chapter2 Я встречая проблема при компиляции с ocamlbuild t