ocaml

1зной

1ответ

Как импортировать модуль для использования в модуле (ocaml)

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

module functional-programming ocaml 2016-12-03

---

1зной

1ответ

Unbound module Yojson.Basic.Util

Я пытаюсь открыть Yojson.Basic.Util в одном из моих файлов и продолжать получать ошибку u nbound module. Я пытался несколько различных вещей и не могу показаться, чтобы выяснить, что случилось У меня

makefile build functional-programming ocaml 2016-12-04

---

3зной

2ответ

Ошибка синтаксиса Ocaml: зачем нужны круглые скобки (если ...) в приложении функции?

Ввод этого кода в ocaml toplevel приводит к ошибке синтаксиса. (fun n -> n + 1) if true then 1 else 2 Но этот код в порядке. (fun n -> n + 1) (if true then 1 else 2) Почему нужны круглые скобки?

parsing ocaml 2016-12-04

---

2зной

1ответ

Внешние и внутренние интерфейсы и скрытие информации в OCaml

При создании библиотеки из нескольких модулей я не могу найти хороший способ сделать правильную информацию, скрывающуюся от пользователя библиотеки (внешнего интерфейса), имея возможность получить дос

module ocaml 2016-12-05

---

2зной

1ответ

Lwt.async() не работает как ожидалось

Я разрабатываю веб-сервис в Ocaml поверх MirageOS (Unix), и на данный момент у меня возникают проблемы с Lwt.async(). В LWT документация говорится следующее: val async : (unit -> 'a t) -> unit асинхро

multithreading asynchronous ocaml ocaml-lwt mirage 2016-12-05

---

1зной

1ответ

Скрытых функции удаленных вызова локального связывания в OCaml

Учитывая следующий пример для генерации ленивой последовательности чисел списка: type 'a lazy_list = Node of 'a * (unit -> 'a lazy_list);; let make = let rec gen i = Node(i, fun() -> gen

functional-programming ocaml 2016-12-05

---

1зной

2ответ

Практика на матрице - Ocaml

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

functional-programming ocaml 2016-12-05

---

0зной

1ответ

Что означает синтаксис ocaml?

type 'k leaf = {a_bb : 'k -> string;} Я не могу понять, что означает эта строка кода в ocaml. Может ли кто-нибудь помочь?

syntax ocaml ml 2016-12-07

---

0зной

2ответ

список запоминания Ocaml

У меня есть рекурсивная функция, и я хочу перезапись в Моей рекурсивной функции Mémoïsant: let rec sum_cube l = match l with | [] -> 0 | x :: s -> (x * x * x) + sum_cube s и я пытался

list ocaml memoization 2016-12-07

---