Существует ли инструмент, который анализирует программы OCaml и предлагает некоторые улучшения в...

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

Тесты для привязок Ocaml (которые автоматически устанавливаются, если вы делаете LLVM с уже...

Я хочу написать функцию, которая может проверять каждый элемент в списке: true или false. Если хотя...

Как CPS в таких языках с карри, как лямбда-исчисление или Ocaml, имеет смысл? Технически все...

на странице 95 книги под названием «Разработка приложений с объективной камерой» let imap f l = let...

Я новичок в очамле. признателен, если кто-нибудь может помочь мне понять материал представлен на...

Есть ли способ применить функцию к членам кортежа в качестве аргументов функции?Или, если нет, могу...

Есть ли в Haskell библиотека, которая делает то же самое, что и библиотека OCaml ( Библиотека...

В Common Lisp программы часто создаются в виде двоичных файлов с переводчиком внутри.StumpWM -...

У меня есть язык с инструкциями 4 видов: s00, s01, s10, s11, где ведущий 1 означает начальное...

Есть ли какой-нибудь короткий способ передать функцию с нулевой арностью в другую функцию. Сейчас я...

Есть ли какое-либо ключевое слово, например this, для ссылки на текущий модуль? Например, что я...

У меня есть список кортежей вида (string, int). Я пытаюсь найти в списке и вернуть кортеж,...

Кто-нибудь знает какие-либо статьи, обсуждающие алгоритмы встраивания ?И тесно связаны отношения...

Если я выполню следующее на верхнем уровне OCaml: #require "num";; open Ratio;;...

если я укажу (я думаю) правильный тип для функции высокого порядка, компилятор OCaml отклонит...

Я читал в алгоритмической книге, что функция Аккермана не может быть сделана хвостовой рекурсией...

Существует большое количество текстов о структурах данных и библиотек кода структур данных.Я...

В OCaml вы можете вкладывать подписи: module type FOO = sig module type BAR (* … *) end Мне просто...

я создал тип t = Test of int * t ref Как создать любой объект типа t?

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

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

Я определил этот тип: type state= L of state_simple * int | N of state * int | State of int , если...

Я использую OCaml Makefile для проекта, над которым я работаю, и у меня есть следующие модули...