Результаты поиска по запросу "ocaml"

4 ответа

Когда в OCaml вступает в действие смягченное ограничение ценностей?

Может ли кто-то дать краткое описание того, когда наступит ослабленное ограничение стоимости? Мне было трудно найти краткое и четкое описание правил. Есть бумага ...

4 ответа

Целочисленное возведение в степень в OCaml

Есть ли функция для целочисленного возведения в степень в OCaml? ** только для поплавков. Хотя это кажется в основном точным, разве нет возможности ошибок точности, что-то вроде 2. ** 3. = 8. иногда возвращает false? Есть ли библиотечная функция ...

4 ответа

Конструкторы и функторы высших порядков в Окамле

Могут ли следующие полиморфные функции let id x = x;; let compose f g x = f (g x);; let rec fix f = f (fix f);; (*laziness aside*)быть написано для типов / конструкторов типов или модулей / функторов? Я пытался type 'x id = Id of 'x;; type 'f ...

ТОП публикаций

4 ответа

OCaml: не могу запустить utop после установки

Я пытаюсь выучить OCaml через книгу о реальном мире OCaml. У них есть руководство, с помощью которого я должен установить пакет Core и утоп. Однако, хотя я, кажется, успешно устанавливаю оба из них с помощью Opam, ни один из них не работает, ...

5 ответов

Имеет ли! = Значение в OCaml?

5 ответов

Как создать рекурсивный список в OCaml

Я хотел бы реализовать аналог Haskell

5 ответов

Как мне сделать автоматическую сериализацию данных объектов данных?

Одним из огромных преимуществ в языках, которые имеют своего рода отражение / интроспекцию, является то, что объекты могут автоматически создаваться из разли...

5 ответов

Обработка инкрементальных изменений моделирования данных в функциональном программировании

5 ответов

GC в реальном времени и GC не в реальном времени очень важны для вопроса (и, вероятно, вряд ли спорны), хотя следует отметить, что GC в реальном времени обычно имеет меньшую пропускную способность. Остальные более спорными.

5 ответов

Как установить default-каталог компиляции в Emacs?

Я кодирую OCaml под Emacs, у меня есть одинmakefile в рабочей папке и нескольких подпапках, содержащих.ml файлы. Если я запускаюM-x compile а такжеmake отлично работает на буфереmakefile, но не работает с буфером.ml файл, он дает мне ошибку: -*- ...