3
ответа
Сбор вывода внешней команды с помощью OCaml
Что правильный путь состоит в том, чтобы назвать внешней командой и собрать ее вывод в OCaml? В Python я могу сделать что-то вроде этого: os.popen ('cmd') .read (), Как я могу получить весь вывод внешней программы...
вопрос задан: 6 February 2010 23:01
3
ответа
Конструкторы типа высшего порядка и функторы в Ocaml
Могут следующие полиморфные функции позволять идентификатору x = x;; позвольте составляют f g x = f (g x);; позвольте rec зафиксировать f = f (зафиксируйте f);; (*laziness в стороне*) быть записанным для конструкторов типов/типа или модулей/функторов? Я..
вопрос задан: 1 January 2010 03:06
3
ответа
Библиотека графика F# (ocamlgraph как)
Я пишу программу в ocaml, использующем ocamlgraph и задающемся вопросом, должен ли я портировать его на F#, каковы мои опции?Спасибо.
вопрос задан: 21 December 2009 12:39
3
ответа
ошибка анализа ocamlyacc: какой маркер?
Я использую ocamlyacc и ocamllex. У меня есть ошибочное производство в моей грамматике, которая сигнализирует о пользовательском исключении. До сих пор я могу заставить это сообщать об ошибочном положении: | ошибка {повышение (Parse_failure (...
вопрос задан: 19 December 2009 14:56
3
ответа
При выборе языка функционального программирования для использования с LLVM, каковы компромиссы?
Давайте предположим в настоящий момент, что C++ не является языком функционального программирования. Если Вы хотите записать компилятор с помощью LLVM для бэкенда, и Вы хотите использовать язык функционального программирования и...
вопрос задан: 21 November 2009 00:13
3
ответа
Дополнительный аргумент не может быть стерт?
Я хотел иметь рекурсивную хвостом версию List.map, таким образом, я записал свое собственное. Здесь это: позволить rec list_map f l? (accum = []), = соответствуют l голове:: хвост-> list_map f хвост ~accum: (голова:: accum)...
вопрос задан: 3 November 2009 13:05
3
ответа
Вывод типа Python для автозавершения
Действительно ли возможно использовать алгоритм Ocaml/Haskell вывода типа для предложения лучших автозавершений для Python? Идея состоит в том, чтобы предложить автозавершение, например, в следующих случаях: класс A: определение...
вопрос задан: 25 September 2009 15:34
3
ответа
Каково различие между функторами и “дженериками”
Я смотрю на функторы OCAML. Это смотрит на меня довольно идентичный так называемым родовым объектам в C++/C#/Java. Если Вы игнорируете тип Java erasion на данный момент и игнорируете детали реализации для C +...
вопрос задан: 25 September 2009 06:46
3
ответа
INRIA собирается добавить примитивы параллелизма к OCaml?
"Параллелизмом" я имею в виду легкие процессы как агенты Erlang, и параллельный GC имел целью заставлять такие процессы работать гладко. Было бы очень здорово, если бы INRIA избавился от тех недостатков...
вопрос задан: 19 August 2009 19:54
3
ответа
Обертывание моей головы вокруг OCaml
Я - только программист новичка (я делаю это для забавы), и я приезжаю из мира процедурных языков Python/C ++/other и процедурного стиля решения задач. Я влюбился в простоту OCAML...
вопрос задан: 14 April 2009 14:10
3
ответа
OCaml вводит с разными уровнями специфики
Я пытаюсь моделировать интерфейс в OCaml и использую конструкцию "типа". У меня есть два типа: введите fooSansBar = {a: строка; b: интервал};; введите fooConBar = {a:string; b:int; bar:char};;... и...
вопрос задан: 21 March 2009 17:45
3
ответа
Справочные таблицы в OCaml
Я хотел бы создать справочную таблицу в OCaml. Таблица будет иметь 7000 + записи, которые, после поиска (интервалом), возвращают строку. Что соответствующая структура данных состоит в том, чтобы использовать для этой задачи? Если...
вопрос задан: 6 February 2009 11:52
3
ответа
Ocaml List: реализовать функции добавления и отображения
В настоящее время я пытаюсь расширить программу OCaml друга. Это огромный набор функций, необходимых для некоторого анализа данных. Так как я на самом деле не крэк OCaml, я в настоящее время застрял на (для меня) ...
вопрос задан: 10 January 2009 12:31
2
ответа
Длина строки, содержащей символы CJK
Если задана строка, содержащая символы CJK, String.length возвращает неверное количество символов в строке, поскольку оно считает количество байтов. Например: # String.length "第 1" ;; -: int = ...
вопрос задан: 9 March 2019 16:25
2
ответа
OCaml: выражение Соответствия в другом?
Я в настоящее время работаю над маленьким проектом с OCaml; простое математическое выражение simplifier. Я, как предполагается, нахожу определенные шаблоны в выражении и упрощаю их так количество...
вопрос задан: 4 December 2018 11:41
2
ответа
ocaml рекурсивное сопоставление с образцом
Я пытаюсь записать простую рекурсивную функцию, которые просматривают список и возвращают пару целого числа. Это легко записать в c/c ++/java, но я плохо знаком с ocaml так так или иначе трудно для обнаружения должного решения...
вопрос задан: 15 November 2018 14:48
2
ответа
Существует ли расширенный интерпретатор toploop для OCaml? [закрытый]
Python имеет IPython.. OCaml имеет что-нибудь подобным? Я очень хотел бы иметь историю команд, хотя другие функции будут хороши также. Я считал, что мог получить историю команд путем выполнения его...
вопрос задан: 15 October 2015 11:46
2
ответа
Ocaml noobie Q — как использовать накапливающиеся параметры?
Я пытаюсь изучить Ocaml путем работы над проблемой 18 от Euler Проекта. Я знаю то, что я хочу сделать, я просто не могу выяснить, как сделать это. У меня есть три списка: позвольте list1 = [1; 2; 3; 4; 5];; позвольте list2 = [...
вопрос задан: 22 January 2015 16:10
2
ответа
хвостовая рекурсия по сравнению с вперед рекурсией
Кто-то может дать мне различие между этими двумя рекурсиями видов и примером (конкретно в OCaml)?
вопрос задан: 9 September 2014 00:58
2
ответа
как получить доступ к типу, определенному в одном .ml файле в другом .ml файле
В a.ml тип записи t определяется и также определяется прозрачно в a.mli, т.е. в интерфейсе d так, чтобы определение типа было доступно всем другим файлам. a.ml также имеет функцию, func, который...
вопрос задан: 8 July 2014 13:11
2
ответа
Как связать итератор к набору в OCaml
У меня есть эти два класса в типе класса OCaml ['] набор =, метод объекта добавляет: '-> четкий метод единицы: единица-> итератор метода единицы: единица-> 'метод итератора...
вопрос задан: 16 September 2012 21:11
2
ответа
Абсолютное значение для плаваний в базовом OCaml
Я нуждаюсь в функции абсолютного значения для плаваний в OCaml, и базовый язык, кажется, не обладает один, таким образом, я записал следующее: еще позвольте absF (f:float) = если f> 0.0 затем f (f *.-1.0);;...
вопрос задан: 6 July 2012 23:45
2
ответа
Встраивание Lua в OCaml
Могли Вы, даете фрагмент кода, показывающий, как использовать Lua, встроенный в OCaml? Простой пример мог быть "Привет, Мировой" вариант. Имейте подсказку OCaml пользователь для имени. Затем передача то имя к...
вопрос задан: 5 May 2012 10:08
2
ответа
Рекурсивная хвостом сортировка слиянием в OCaml
Я пытаюсь реализовать рекурсивную хвостом сортирующую список функцию в OCaml, и я придумал следующий код: позвольте tailrec_merge_sort l =, позволяют разделению l =, позволяют rec _split источник, оставленный право =...
вопрос задан: 2 March 2012 13:09
2
ответа
Преобразование PCL к PDF
Я надеюсь создавать (как подтверждение концепции) OCaml (предпочтительно) программа, которая преобразовывает код PCL в формат PDF. Я не уверен, где запустить. Существует ли стандартизированный алгоритм для того, чтобы сделать так?...
вопрос задан: 12 February 2011 11:47
2
ответа
Насколько стабильный и широко распространенный “Батареи OCaml, Включенные”, и это рекомендуется?
Я просто возвращаюсь в OCaml для нового маленького исследовательского проекта после многих лет SML, Haskell и F#. Я быстро пропустил некоторые вещи при пользовании библиотеками OCaml, и я также отсутствовал...
вопрос задан: 11 January 2011 15:15
2
ответа
Каков “пересмотренный синтаксис” в OCaml?
Когда люди обращаются к "пересмотренному синтаксису" в OCaml, они означают, что это станет новым синтаксисом для языка, или это - просто альтернативный синтаксис, созданный в CamlP4? Если это - первый, то...
вопрос задан: 15 October 2010 15:42
2
ответа
Действительно ли это возможно получение AST для программы OCaml?
Я хотел бы смочь получить AST для данной программы OCaml (я хотел бы обойти AST и генерировать оснащенную версию кода или сделать некоторое преобразование, например). Сделайте любой из...
вопрос задан: 28 September 2010 13:33
2
ответа
Реализация интерпретатора с прямой резьбой на функциональном языке, таком как OCaml
В C / C ++ вы можете реализовать прямой потоковый интерпретатор с массивом указателей на функции. Массив представляет вашу программу - массив операций. Каждая из функций операций должна заканчиваться на ...
вопрос задан: 31 August 2010 00:36
2
ответа
Понимание функторов в OCaml
Я вполне застреваю со следующей проблемой функтора в OCaml. Я вставляю часть кода только, чтобы позволить Вам понять. В основном я определил эти два модуля в pctl.ml: тип модуля ProbPA = сигнал...
вопрос задан: 25 July 2010 01:12