0
ответов
Могу ли я создать графический интерфейс из ocaml toplevel?
À несколько вопросов, касающихся интерактивного верхнего уровня и программирования графического пользовательского интерфейса: возможно ли динамическое создание графического интерфейса из верхнего уровня ocaml ?
Можно использовать графику ...
вопрос задан: 19 February 2015 13:22
0
ответов
Структура данных для пространственных данных
Я ищу хорошую функциональную структуру данных для хранения пространственных (точечных) данных. Структура данных должна позволять простые эпсилон-запросы для уже имеющихся точек. Также мне нужно немного изменить данные ...
вопрос задан: 18 November 2014 20:24
0
ответов
Benotzerdefinéierten Drécker an OCaml
printf, fprintf, asw: all akzeptéieren de% eng Konversioun. De Handbuch seet fir% a: "user-definéiert Drécker. Huelt zwee Argumenter an zielt déi éischt op outchan (den aktuellen Ausgangskanal) an op den ...
вопрос задан: 11 October 2014 15:27
0
ответов
создание автономных верхних уровней с помощью OCaml и Haskell
В Common Lisp программы часто создаются как двоичные файлы с встроенным транслятором. StumpWM - хороший тому пример. Как сделать то же самое с Haskell и OCaml? Нет необходимости предоставлять ...
вопрос задан: 15 September 2014 19:59
0
ответов
Как вы проверяете тип (*) на верхнем уровне OCaml?
Я хотел увидеть тип функции умножения (*), поэтому я подключил его к верхнему уровню OCaml. # (*) Однако верхний уровень повторил: (*) ;; 1: это начало комментария. а затем потреблял ...
вопрос задан: 15 September 2014 19:43
0
ответов
ocaml toplevel загрузка модулей
Я пытаюсь загрузить свои модули в .cmo в toplevel, я пробовал: $ ocaml mymodule.cmo Я получил приглашение toplevel, но не смог обратиться к Mymodule Я также попробовал #load "mymodule.cmo" Это ...
вопрос задан: 17 August 2014 20:10
0
ответов
Перегрузка функции в OCaml
Я определил несколько типов: type box = Box of int
type table = Таблица int
тип compare_result = Lt | Eq | Gt Кажется, что в OCaml мы не можем определить 2 функции с одинаковым именем, но разными типами ...
вопрос задан: 8 July 2014 13:56
0
ответов
OCaml топ-уровень с синтаксическими расширениями
Я не знаю, как это вообще сделать, но для ясности спрошу об одном экземпляре в частности: Sexplib выглядит интересным для меня. Я хочу поиграть с ним. Я скачал его, ...
вопрос задан: 7 July 2014 06:11
0
ответов
Хвостовая рекурсивная функция для определения глубины дерева в Ocaml
У меня есть дерево типов, определенное следующим образом type 'a tree = Leaf of' a | Узел 'a *' дерево * 'дерево ;; У меня есть функция, чтобы найти глубину дерева следующим образом: let rec depth = function | Leaf x ...
вопрос задан: 19 January 2014 19:04
0
ответов
Ленивый «n выберите k» в OCaml
Как часть более серьезной проблемы перечисления набора, мне нужно написать функцию OCaml ' select 'который принимает список и выводит как список всех возможных последовательностей размера k, составленных из элементов этого ...
вопрос задан: 21 July 2013 14:31
0
ответов
Могу ли я создавать собственные исполняемые файлы с OCamlBuild, которые могут работать на компьютерах, на которых нет библиотек OCaml?
У меня есть большой проект OCaml, который я компилирую с помощью ocamlbuild. Все работает нормально, у меня есть отличный исполняемый файл, который делает все как я хочу. Проблема в том, что когда я беру этот родной ...
вопрос задан: 12 July 2013 01:13
0
ответов
Функторы OCaml: : нелогичное поведение
Я экспериментирую с языком модулей OCaml (3.12.1), определяя функторы и подписи для модулей и так далее, в основном следуя примерам из главы 2 руководства по OCaml, и я ..
вопрос задан: 2 July 2013 15:37
0
ответов
Почему в стандартной библиотеке OCaml так много не-хвостовых -рекурсивных функций?
В последнее время я переписывал многие функции стандартной библиотеки OCaml, чтобы они стали хвостовыми -рекурсивными. Учитывая, что это повлекло за собой прямое -прямое преобразование CPS, я не понимаю, почему по умолчанию...
вопрос задан: 1 June 2013 02:57
0
ответов
CPS в каррированных языках
Каким образом CPS в каррированных языках, таких как лямбда-исчисление или Ocaml, вообще имеет смысл? Технически все функции имеют один аргумент. Допустим, у нас есть CPS-версия сложения на одном из таких языков: cps-add k ...
вопрос задан: 1 June 2013 02:49
0
ответов
Указание динамического приоритета и старшинства для оператора в Menhir/Ocamlyacc
Я пытаюсь разобрать язык, в котором операторы имеют динамические атрибуты (приоритет и приоритет ), используя синтаксический анализатор Menhir (, аналогичный Ocamlyacc ). На этапе лексирования все операторы заполняют...
вопрос задан: 7 May 2013 12:19
0
ответов
OCaml + Menhir Компиляция/Написание
Я полный новичок, когда дело доходит до OCaml. Я только недавно начал использовать язык (около 2 недель назад), но, к сожалению, передо мной стоит задача сделать анализатор синтаксиса (парсер + лексер, ...
вопрос задан: 7 May 2013 12:18
0
ответов
Почему ocamldoc не работает с несвязанными модулями?
Вот пример интерфейса test.mli, прокомментированного с помощью комментариев стиля ocamldoc -:(**Комментарий модуля ocamldoc *)открыть MissingModule;; (**комментарий к функции ocamldoc *)val тест :единица измерения;; Если я запускаю...
вопрос задан: 7 May 2013 10:45
0
ответов
ключевое слово ocaml null: один раз, но не более?
На верхнем уровне ocaml (версия 3.11.2) это простое выражение выдает ошибку: # let a = [] in if null a then 0 else 1; ;
Ошибка: несвязанное значение null Я только что начал изучать ocaml из ...
вопрос задан: 16 March 2013 14:05
0
ответов
Почему перед этим типом стоит знак плюс?
Я просматривал стандартную библиотеку ocaml и наткнулся на этот код в файле map.ml. тип модуля S = sig тип ключ тип + 'a t val пуст:' a t 'Мне интересно, почему существует тип +' a t, ...
вопрос задан: 9 March 2013 00:07
0
ответов
В чем разница между & ldquo; равным (=) & rdquo; и & ldquo; идентичные (==) & rdquo; в часам?
В OCaml у нас есть два вида сравнения эквити: x = y и x == y. В чем же разница между ними? Это x = y в ocaml точно так же, как x.equals (y) в Java? и х == у точно так же, как х == у ...
вопрос задан: 27 November 2012 18:02
0
ответов
Как мне читать строки из текстового файла в OCaml?
Это то, что у меня есть. Разве это не все, что тебе нужно? Я все время получаю ошибку «Ошибка: несвязанный модуль Std» let r file = let chan = open_in file в Std.input_list (chan)
вопрос задан: 19 November 2012 22:59
0
ответов
Статически «расширять» тип данных типа записи без проблем с косвенным обращением
В настоящее время я работаю с трехуровневым процессом, для которого мне нужна некоторая информация для доступа и обновления. Информация также является трехуровневой, так что процесс на одном уровне ...
вопрос задан: 25 October 2012 18:43
0
ответов
В OCaml, как я могу создать out_channel, который записывает в строку / буфер вместо файла на диске
У меня есть функция типа in_channel - > out_channel - > модуль, который будет выводить что-либо в out_channel. Теперь я хотел бы получить его вывод в виде строки. Создание временных файлов для записи и чтения ...
вопрос задан: 22 September 2012 03:34
0
ответов
Массив типа с параметром в Ocaml
У меня есть домашнее задание, которое нужно выполнить в Ocaml ... Мой учитель сказал, что мы должны использовать эти 2 типа: type 'a zapis = Prazen | Запис строки * 'a ;;
введите 'a asocpolje =' массив записей ;; Моя проблема в том, что ...
вопрос задан: 16 September 2012 21:13
0
ответов
Можно ли в OCaml определить Map в терминах Set?
Я реализовал представление наборов (сбалансированных деревьев поиска )в OCaml. На самом деле это функтор Make of signal module Make :functor (T :ORDERED _TYPE)-> sig type elt = T.t type t...
вопрос задан: 16 September 2012 21:00
0
ответов
Почему шаблон OCaml `zero -> zero`, похоже, соответствует всему?
Вот фрагмент кода из моей книги, и я не уверен, как работает сопоставление, очевидно, потому что это кажется первым случаем соответствует всему. Вот предупреждения, которые бросает мне Окамл: # let ...
вопрос задан: 16 September 2012 20:51
0
ответов
OCaml, F #последовательное, каскадное связывание let
В OCaml или F #типично иметь последовательные привязки let в форме :let a1 =... пусть а2 =... пусть а3 =... пусть f1 =... пусть f2 =... пусть f3 =... f3 a1 a2 a3 Во многих случаях некоторые из них позволяют...
вопрос задан: 8 August 2012 21:01
0
ответов
Означает ли Lwt «Легкая нить»?
Я тестировал ocsigen, который использует Lwt. Я предполагаю, что Lwt означает «Легкая нить», верно? Если да, то как мы можем назвать это «легким весом»? Кажется, что Lwt использует поток ОС, который НЕ является легким (по сравнению с...
вопрос задан: 8 August 2012 00:43
0
ответов
Именованные параметры Окамла
Попытка понять механизм Ocaml для именованных параметров. Я понимаю основы, но документ показывает такой пример:#пусть f ~x ~y = x -y;; val f :x :int -> y :int -> int = ...
вопрос задан: 6 August 2012 00:29
0
ответов
модульное программирование в ocaml
Я нашел кое-что, чего не очень понимаю, работая над проектом ocaml. Предположим, я использую модули Array и List стандартной библиотеки OCaml. Оба они реализуют функцию...
вопрос задан: 31 July 2012 09:12