Я ищу функцию следующей подписи val suffix : t -> int -> t suffix s n возвращает самый...

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

Я пытался свернуть код, как предложил glennsl. Оказывается, я не знаю, как читать входные данные из...

Я впервые пробовал OCaml и пытался собрать пару файлов вместе. Когда я бегу: dune build bin/main

Я определяю примитивный тип в OCaml, это домашняя работа. Все работает нормально, но я получил...

Рассмотрим переменную, введенную в шаблон, например, f в этом примере на Haskell: case (\x -> x)...

Я пытаюсь использовать rtop как repl в проекте esy. Для этого я добавил...

Я зеленый человек на ML, сейчас изучаю ocaml всего несколько часов, чтобы собрать мой компилятор на...

В предыдущем вопросе Компилятор SystemT и работа с Бесконечными типами в Haskell Я спросил о том,...

Если мне нужна функция, которая вычитает аргумент int из числа 2, я могу сделать let two_minus =...

В Haskell можно генерировать ошибки типа во время вывода типа, чтобы обеспечить ограничения на...

У меня был курс по функциональному программированию в ocaml / mincaml , и мы говорили об...

Я пытался установить tcoq и геймпад, как описано здесь , но у меня были ошибки: make...

Brodal et al.в своей статье ESA '06 продемонстрировано существование чисто функциональной структуры...

Есть ли способ заставить модуль возвращать свой собственный тип, используя подмодуль функтора?...

Я пытался установить tcoq , и у меня произошла следующая ошибка: "/Users/pinocchio/.opam/4.05

У меня есть список целых чисел (я не знаю, сколько) на консоли, например, так: 3 10 9 8 2 7 5 1 3 0...

Я использую полиморфные варианты для обработки ошибок с типами результатов (взяты из...

Я хочу сделать что-то вроде этого: if is_proximity(leo,bob) = true then let list_1 =...

Я новичок в oCaml, и у меня есть ошибка в этой следующей функции: let rec determinant n m1 = if n...

Мой указанный файл /path/file.txt содержит, например, следующее: Hello World! Попробуйте прочитать...

У меня есть тип quadTree, определенный следующим образом: type 'a quadtree = | Empty | Leaf of...

Я больше часа сижу над проблемой и не могу найти решения.У меня есть этот тип данных: type 'a...

У меня есть оверлейный компонент ReasonReact с тремя состояниями замирания.Первый виден с полной...

Я хочу использовать модуль потоков в OCaml, но не могу его открыть.Например, в Unix я должен...