1
ответ
Загружать файлы ml динамически в OCaml toplevel?
Насколько нам известно, мы можем использовать директиву #use в OCaml toplevel для загрузки файлов ml, а затем выполнить. И мы также можем использовать ocaml.exe для загрузки и выполнения файлов ml. Здесь мое требование имеет некоторые изменения в ...
вопрос задан: 13 July 2018 07:51
1
ответ
Почему ocaml нужны и «let», и «let rec»? [дубликат]
Возможный дубликат: Почему функции в Ocaml / F # по умолчанию не рекурсивны? OCaml использует let для определения новой функции или let rec для определения рекурсивной функции. Зачем нужны оба ...
вопрос задан: 23 May 2017 10:31
1
ответ
как сопоставить шаблон с произвольным числом аргументов?
Существует ли OCaml, эквивалентный сопоставлению с шаблоном Haskell по произвольному числу аргументов? Например, могу ли я иметь что-то похожее: merge [] lst = lst
merge lst [] = lst
merge l1 @ (n: ns) ...
вопрос задан: 7 August 2016 13:02
1
ответ
как к сделать “noop, но единица возврата” в OCaml
Я хочу распечатать список строк после прохождения через сопоставления с образцом только для вхождения в эту мощную функциональность. Как я могу выразить "do-nothing-but-return-unit" операцию? То, что я имею в виду:...
вопрос задан: 13 August 2015 12:35
1
ответ
OCaml: Почему я не могу использовать этот инфиксный оператор?
Я определил собственный оператор равенства (определение не очень важно, поэтому я вставлю пустышку): let (~ = ~) ab = true Если я попытаюсь использовать его infix: if a ~ = ~ b then 1 else 2, я получу ...
вопрос задан: 30 October 2014 16:36
1
ответ
Сохранение моего рабочего уровня на будущее
При работе с верхними уровнями ocaml или ghci я часто создаю значимый «контекст» из-за отсутствия лучшего слова, связанных значений, функций, загруженных модулей и так далее. Есть ли способ спасти все это ...
вопрос задан: 6 July 2014 16:35
1
ответ
Почему некоторые функции OCaml принимают () в качестве параметра?
Пример в модуле Unix: val environment: unit -> string array Почему не просто: val среда: строковый массив?
вопрос задан: 27 December 2013 14:02
1
ответ
Неожиданные результаты с OCaml! =
Из того, что я могу сказать, = и! =, как предполагается, работает над строками в OCaml. Я вижу странные результаты хотя, который я хотел бы понять лучше. Когда я сравниваю две строки с =, я получаю результаты...
вопрос задан: 5 November 2012 16:12
1
ответ
Предописание OCaml
Существует ли способ сделать предописание C-стиля в OCaml? Моя проблема состоит в том, что у меня есть два варианта, которые взаимно относятся друг к другу: введите path_formula = ['Затем state_formula | 'До (...
вопрос задан: 28 March 2012 18:23
1
ответ
Точка не соответствует новым строкам?
Когда я пишу регулярное выражение с. в нем не совпадают новые строки. preg_match ('/.*+?/') ... Что мне нужно написать, чтобы соответствовать всем возможным символам и новым строкам?
вопрос задан: 21 August 2010 13:57
1
ответ
Используя функторы как интерфейсы в OCaml
Я разрабатываю некоторые алгоритмы в OCaml, которым нужны некоторые части, чтобы быть "сменными" так, чтобы часть вычисления оставили определенному computators. Только, чтобы заставить пример предположить у меня есть подпись...
вопрос задан: 5 August 2010 15:16
1
ответ
Как практичный это должно встроить ядро языка с effectful функциональным пространством (как ML) в Haskell?
Как Moggi предположил 20 лет назад, effectful функциональное пространство-> языков как ML может быть разложено на стандартное общее функциональное пространство => плюс сильная монада T для получения эффектов.->...
вопрос задан: 5 August 2010 01:20
1
ответ
Что хорошее использование OCaml является упакованными модулями?
Недавний OCaml 3.12 представляет функцию первоклассных упакованных модулей: первоклассные модули пакетов. Новый вид выражения типа, для упакованных модулей: (модуль PT) Новый отчасти...
вопрос задан: 29 July 2010 16:36
1
ответ
Рекурсивное множество в OCaml
как мне может удаться определить Набор в OCaml, который может содержать элемент его типа также? Для объяснения проблемы, у меня есть описание типа для большого количества типов данных как значение типа = Ноль | Интервал интервала |...
вопрос задан: 11 July 2010 17:17
1
ответ
доступ записи OCaml
Как я могу использовать некоторую запись OCaml, которую я определил в некотором другом файле? Скажите, например, что у меня есть файл a.ml, в котором я определяю запись r: тип r = {я: интервал; j: интервал;}; и файл b.ml, в который...
вопрос задан: 13 June 2010 18:03
1
ответ
На ocamlyacc, функциональной грамматике приложения и приоритете
Я - новичок OCaml, и я пытаюсь записать простую подобную OCaml грамматику, и я не могу понять это. Моя грамматика позволяет что-то вроде этого: позвольте sub = забава x-> забава y-> x - y;; Однако, если я хочу...
вопрос задан: 17 May 2010 07:53
1
ответ
Используя модуль включают в OCaml
В OCaml 3.11 я хочу "расширить" существующий модуль с помощью включать директивы, как так: модуль MyString = структура включает обрезку Строки, которой позволяют, s =... заканчиваются Без проблем. Но теперь я хочу выставить это...
вопрос задан: 5 May 2010 21:00
1
ответ
Как скомпилировать ocaml в собственный код
мне действительно интересно, учась ocaml, это быстро (они сказали, что это могло быть скомпилировано в собственный код), и это функционально. Таким образом, я пытался кодировать что-то легкое как включение mysql планировщик события. #load "Unix....
вопрос задан: 21 April 2010 02:36
1
ответ
Модули первого класса в OCaml 3.12: Какие виды вещей они сделают легче (или возможный)?
Я услышал, что "модули первого класса" прибывают в OCaml 3.12. Какие преимущества они предложат? Какие дети вещей будут легче? Какую проблему они пытаются решить? Простой пример был бы...
вопрос задан: 20 March 2010 16:09
1
ответ
Модули OCaml и производительность
Некоторые функции действительно легко реализовать в OCaml (например, карта из списка), но можно использовать карту библиотеки OCaml: List.map Однако, мы можем задаться вопросом, какой код будет более эффективным...
вопрос задан: 11 November 2009 19:07
1
ответ
Когда я должен использовать Bigarray и почему?
Документация относительно модуля Bigarray несколько неопределенна. Это указывает, что цель массивов в том модуле состоит в том, чтобы содержать "большие массивы", но это действительно не определяет то, что это подразумевает под "большим мас
вопрос задан: 2 November 2009 12:37
1
ответ
Ocaml: Ошибка - это выражение имеет тип x, но используется с типом x
Это - моя ошибка: Ошибка: Это выражение имеет тип nfa, но здесь используется с типом nfa, Что, могло возможно оказываться, вызвало это? Я использую emacs туарега и загружаю файлы оценки один за другим...
вопрос задан: 1 October 2009 05:21
1
ответ
OCaml: Значения по умолчанию для аргументов функции?
В PHP значения по умолчанию для аргументов могут быть установлены следующим образом: функционируйте odp (ftw = "OMG!!") {//...} там схожая функциональность в OCaml?
вопрос задан: 15 September 2009 03:04
1
ответ
{X со значением} в ocaml
Я видел следующий вызов функции в примере Yacfe: Visitor_c.vk_program {Visitor_c.default_visitor_c с Visitor_c.kexpr = (забава (k, bigf) exp-> соответствуют Ast_c.unwrap_expr exp...
вопрос задан: 1 June 2009 16:11
1
ответ
Функторы в Ocaml
У меня есть определенная проблема с функтором (и это - результирующий тип). Ниже, у меня есть функтор Набора, который использует Заказанный тип. Я на самом деле использовал set.ml, который идет с ocaml для некоторого руководства, но...
вопрос задан: 12 March 2009 21:14
1
ответ
Разрешение уменьшает/уменьшает конфликт в yacc/ocamlyacc
Я пытаюсь проанализировать грамматику в ocamlyacc (в значительной степени то же как регулярный yacc), который поддерживает функциональное приложение без операторов (как в Ocaml или Haskell), и нормальный выбор двоичного файла...
вопрос задан: 23 August 2008 19:18
0
ответов
Интерфейс с несколькими реализациями в OCaml
Каков обычный способ создания интерфейса в OCaml? Можно иметь интерфейс с одной реализацией, создав файл интерфейса foo.mli и файл реализации foo.ml, ...
вопрос задан: 29 June 2019 17:04
0
ответов
В Ocaml, при сравнении строк (которые содержат числа), как оцениваются логические значения?
Сравнение строк "3" < = "4" ;; оценивается как "bool = true". Здесь 3 меньше 4, так что это имеет смысл. Это сравнение строк "3" < = "9" ;; оценивает как "bool = true" 3 меньше 9, так что ...
вопрос задан: 19 March 2019 08:03
0
ответов
Объединение элементов в списке - OCaml
Можно ли создать список путем объединения элементов списка, а чем создание списка списков? Пример: List.combine ["A"; "B"] ["C"; "D"] ;; Я получаю: [("A", "C"); ("B", "D")] Возможно ли ...
вопрос задан: 16 March 2019 23:08
0
ответов
& ldquo; Недостаточно места в стеке & rdquo; ошибка при компиляции кодов в LearnOcaml
Любопытство: я писал коды в Learn Ocaml, и когда я компилировал свои коды, компилятор говорит: «Ошибка стека». Я думаю, это связано с количеством написанных мной кодов. Поэтому мне интересно, как я могу ...
вопрос задан: 18 January 2019 14:30