Описание тега metaocaml
"MetaOCaml является многоступенчатым расширением языка программирования OCaml и предоставляет три базовые конструкции, называемые Brackets, Escape и Run, для построения, комбинирования и выполнения вычислений будущего этапа соответственно.... MetaOCaml - это скомпилированный диалект MetaML.." - с домашней страницы MetaOCaml
1
ответ
Цитаты F#: переменная может выходить за рамки
У меня есть немного кода: let rec h n z = if n = 0 then z else <@ (fun x -> %(h (n - 1) <@ x + %z @>)) n @> преобразован из примера MetaOcaml в http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf В статье объясняется, что пр…
20 июн '11 в 16:06
1
ответ
MetaOCaml неквалифицированный конструктор
type t = A;; .<A>.;; выдаст ошибку Unqualified constructor A cannot be used within brackets. Put into a separate file. Что является основной причиной этой ошибки? Некоторая ссылка может быть найдена здесь
24 июн '15 в 16:27
1
ответ
Concoqtion (Coq + MetaOCaml) - почему отказались?
Перед тем, как записывать людей в список рассылки OCaml, я подумал, что могу опубликовать свой вопрос здесь. Я только что обнаружил эту красоту (ссылка на сайт Concoqtion). Concoqtion - это расширение MetaOCaml, которое позволяет индексировать типы …
17 апр '13 в 19:41
1
ответ
Можно ли настроить среду Merlin для MetaOCaml?
Можно ли настроить среду Merlin для MetaOCaml?
19 июн '15 в 09:08
0
ответов
Подсветка синтаксиса промежуточной аннотации MetaOCaml в Emacs с использованием tuareg-support-metaocaml
TL:DR; Я бы хотел подсветку синтаксиса MetaOCaml в Emacs, но соответствующая опция не имеет никакого эффекта. Что я могу сделать? Я довольно новичок в Emacs, но уже некоторое время использую MetaOCaml. Я установил opam 1.3.1-r1 и emacs 25.2 через ме…
22 дек '17 в 22:03
1
ответ
Еще одно ограничение цитат F#?
Ранее сегодня я столкнулся с ограничением цитат F# и задал вопрос об этом здесь: цитаты F#: переменная может выходить за рамки видимости Теперь я, возможно, столкнулся с другим ограничением при преобразовании примеров, появляющихся в http://www.cs.r…
20 июн '11 в 21:51
1
ответ
MetaOCaml: невозможно запустить код из скобок
Я пытаюсь MetaOCaml, поэтому я сделал этот фантастический код: #let a = .<1>.;; val a : int code = .<1>. # let b = !. a;; Error: Unbound value !. # let b = .!a;; Error: Syntax error Почему это не работает? Также я попробовал !. а также .…
08 янв '16 в 15:18
0
ответов
Запустите код MetaOCaml
Я только что установил BER MetaOCaml со следующим: $ opam update $ opam switch 4.02.1+BER $ eval `opam config env` и я не могу запустить код MetaOCaml на верхнем уровне туарегов или просто на верхнем уровне ocaml. Следующий код: let a = .<1+2>…
08 янв '16 в 13:17
1
ответ
Вставка let для привязки локальной переменной
Я прорабатываю руководство Олега Киселева " Согласование абстракции с высокой производительностью: подход MetaOCaml". В одном упражнении (упражнение 23) требуется let-insert для привязки доступа индекса массива к локальной переменной. Функция вопрос…
24 мар '20 в 08:38