ocaml

1зной

1ответ

Ocamlbuild: используйте два препроцессора в одном файле

Я пытаюсь развязать мощность двух препроцессоров в ocamlbuild. Я попытался flag ["ocaml"; "use_m4"] (S [ A"-pp"; Px"m4 macro.m4" ; A"-pp"; Px"camlp5o pr_o.cmo camlp5/pa_gt.cmo"

1зной

1ответ

Ocamldoc и открытые модули

Я пытаюсь задокументировать небольшой проект, используя ocamldoc. У меня есть один файл .ml, который opens два других файла .ml. $ ocamldoc -html included1.ml included2.ml работает просто отлично, н

1зной

1ответ

У меня проблема с моей функцией n-го элемента в OCaml. Я не могу найти то, что неправильно

функция энный должна работать так: # nth [1;2;3;4;5] 0;; - : int = 1 # nth [1;2;3;4;5] 1;; - : int = 2 # nth [1;2;3;4;5] 2;; - : int = 3 # nth [1;2;3;4;5] 3;; - : int = 4 Я написал эту функци

1зной

2ответ

Как связывать непрозрачные типы с Ctypes

Я пишу привязку OCaml для сервисов Event Quartz [1]. Есть случаи, когда мне нужно, чтобы связать непрозрачные типы, как в этом коде: typedef CGEventRef _Nullable (*CGEventTapCallBack)(CGEventTapProxy

3зной

1ответ

Ошибка типа Ocaml для примера перечисления

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

1зной

1ответ

Как использовать camlp4 в программе OCaml для анализа другой программы OCaml в AST?

В настоящее время я пытаюсь перевести программы OCaml (с довольно стандартной грамматикой) в Racket, и я пытаюсь посмотреть, есть ли способ сделать синтаксический анализ промежуточного представления с

1зной

2ответ

OCaml: в качестве ключевого слова в сопоставлении с образцом ведет себя странно

Скажем, я пишу этот код: # type t = A of int * int let f = function A (i1, i2) -> print_int i1;; type t = A of int * int val f : t -> unit = <fun> совершенна, она работает. Теперь, скажем, у