0
ответов
Есть ли оконный менеджер, разработанный с использованием OCaml?
В Haskell есть XMonad, в CommonLisp есть StampWM. Если есть один, разработанный с использованием OCaml, он должен быть быстрее этих двух. Искренне!
вопрос задан: 15 November 2011 02:25
0
ответов
Простой способ перейти к определению функции (Emacs, Ocaml)
Я кодирую Ocaml под Emacs ... Я хотел бы знать, есть ли ярлык для перехода к определению функции (где находится курсор). На данный момент для этого мне нужно выполнить поиск по имени ...
вопрос задан: 14 November 2011 09:31
0
ответов
Как сделать так, чтобы 2 функции вызывали друг друга в OCaml
Я хочу иметь 2 разные рекурсивные функции в OCaml, каждая из которых могла бы вызывать другой. Он не работает, потому что тот, который объявлен 1-м, не может вызвать тот, который объявлен 2-м. ...
вопрос задан: 12 November 2011 23:04
0
ответов
Справка по функции OCaml, включающая анализ списка списков
I я пытаюсь создать функцию OCaml rv, которая будет просматривать список списков и реорганизовывать элементы в другой список списков, так что первый список состоит из первого элемента ...
вопрос задан: 11 November 2011 01:57
0
ответов
Трассировка и отладка в OCaml
Что вы используете для трассировки и отладки в OCaml? Для отладки я попробовал ocamldebug и плагин Emacs. Для трассировки я хочу иметь возможность распечатать конструктор данных каждой переменной.
Пример ...
вопрос задан: 10 November 2011 10:50
0
ответов
Какой стандартный способ удалить элемент из списка в OCaml?
Обычно мы можем использовать функцию удаления. Похоже, что в OCaml?
вопрос задан: 10 November 2011 06:58
0
ответов
Наборы «Заказанный набор мощности» / «Раскраска графика»
Я хочу, чтобы в Ocaml было выполнено следующее, но ответ на ex F # мог бы дать мне достаточно информации, чтобы выполнить преобразование самостоятельно. Упорядоченный набор мощности (от самого большого до самого маленького) сделал бы меня одним ...
вопрос задан: 5 November 2011 08:48
0
ответов
Определения типов с открытыми объединениями
1) У меня есть открытое объединение, определенное следующим образом: type 'a choice = [> ` Один | 'Other] как' a Затем я пытаюсь определить тип choice_list: type choice_list = selection list, который не работает. Как можно ...
вопрос задан: 2 November 2011 20:31
0
ответов
Может ли репл ocaml поддерживать автозаполнение и т. Д.?
Есть ли другие способы сделать поддержку ocaml автозаполнением и т. Д., Кроме использования rlwrap? Искренне!
вопрос задан: 2 November 2011 03:00
0
ответов
Предупреждение 10: это выражение должно иметь тип unit
Я пытаюсь создать список функций в Ocaml, но я постоянно получаю предупреждение. Есть идеи, почему? let f = [fun x -> -x; fun x -> x + 2; fun x -> x * x]
вопрос задан: 31 October 2011 04:00
0
ответов
Создание заглушек привязок Ocaml из файла заголовка C
У меня есть файл заголовка, в котором объявляется C API для некоторой библиотеки, и я хотел бы создать привязки OCaml для этой библиотеки. Я обнаружил, что camlidl может создавать заглушки из файла IDL, но, насколько я понимаю ...
вопрос задан: 30 October 2011 13:45
0
ответов
Использование открытых объединений вне модуля они были определены в
. Почему это работает нормально? модуль Account = тип структуры account_type = Текущее число с плавающей запятой | Сохранение float end let sarah = Account.Current 100.0 ;; В то время как последняя строка ниже производит ...
вопрос задан: 28 October 2011 00:17
0
ответов
Алгоритм проверки типа ML-подобного сопоставления с образцом?
Как вы определяете, является ли данный шаблон «хорошим», в частности, является ли он исчерпывающим и непересекающимся для языков программирования в стиле ML? Предположим, у вас есть такие шаблоны, как: match lst ...
вопрос задан: 24 October 2011 23:12
0
ответов
Преобразование float в int в OCaml
Как я должен преобразовать float в целое число в OCaml? Я знаю, как получить число с плавающей запятой из типа int, но, похоже, нет простого способа получить значение типа int из числа с плавающей запятой.
вопрос задан: 23 October 2011 19:02
0
ответов
Круглые скобки в Ocaml
Я оцениваю очень простой фрагмент кода на верхнем уровне Ocaml: let p5 () = print_int 5 ;;
p5 () ;; print_string "*************************" ;; let p4 = print_int 4 ;;
p4 ;; И он возвращает: val p5: ...
вопрос задан: 10 October 2011 10:10
0
ответов
Зависимые типы для проверки структурированных данных
Прежде всего, я действительно не знаю, что не так с зависимыми типами и почему мы не видим их реализованными в существующих языках для практического программирования, вместо того, чтобы изобретать всевозможные уловки (...
вопрос задан: 10 October 2011 08:24
0
ответов
Новичок в OCaml: как мне приступить к реализации исключения Гаусса?
Я новичок в OCaml и хотел бы реализовать исключение Гаусса в качестве упражнения. Я могу легко сделать это с помощью алгоритма с отслеживанием состояния, то есть хранить матрицу в памяти и рекурсивно работать с ней с помощью ...
вопрос задан: 7 October 2011 16:46
0
ответов
Есть ли способ печатать пользовательские типы данных в ocaml?
Я не могу использовать print_endline, потому что он требует строку, и у меня нет (думаю) никакого способа преобразовать мои очень простые пользовательские типы данных в строки. Как я могу проверить значения переменных этих ...
вопрос задан: 7 October 2011 01:03
0
ответов
О стиле отступа Ocaml для этого типа вложенного ввода
Я читаю руководство по стилю Ocaml по вложенному вводу Ocaml. http://www.seas.upenn.edu/~cis341/programming_style.html#16 Предлагается, чтобы отступы вложенных выражений let: блоки кода ...
вопрос задан: 2 October 2011 18:31
0
ответов
OCaml: Объявление функции перед ее определением
Есть ли способ объявить функцию перед ее определением в OCaml? Я использую интерпретатор OCaml. У меня есть две функции: let myFunctionA = (* здесь кое-что ..... *) myFunctionB (* кое-что *) ...
вопрос задан: 30 September 2011 19:23
0
ответов
Что является более быстрым в Java для чтения/разбора входных данных консоли, сканера или BufferedReader?
Мне нужно создать процессор данных, способный обрабатывать более 2.5MB/s входных данных из STDIN, и вывести номер в STDOUT. Быстрее использовать BufferedReader с последующим преобразованием в типы данных или...
вопрос задан: 30 September 2011 13:38
0
ответов
Преобразовать список в a Set?
Неужели в OCaml нет функции, которая преобразует список в набор? Если это так, можно ли создать универсальную функцию list_to_set? Я пытался сделать полиморфный ...
вопрос задан: 27 September 2011 14:49
0
ответов
Библиотеки распределенного параллелизма на основе акторов для Ocaml и других языков [закрыто]
Вопрос: Может ли кто-нибудь порекомендовать библиотеку для Ocaml, которая предлагает модель параллелизма на основе акторов для распределенных вычислений? Обратите внимание на «на основе актера» и «распределенный» - я бы хотел, чтобы на основе актера ...
вопрос задан: 27 September 2011 09:00
0
ответов
Вызов функции C / ассемблера из OCaml более напрямую, чем с помощью caml_c_call
OCaml позволяет вызывать функции C из программ OCaml, если программист следует инструкциям в Глава руководства «Взаимодействие C с OCaml». Следуя этим ...
вопрос задан: 26 September 2011 14:57
0
ответов
OCaml: Использование оператора сравнения, переданного в функцию
Я новичок в OCaml. Я пытаюсь понять, как обрабатывать оператор сравнения, переданный в функцию. Моя функция просто пытается передать оператор сравнения (=, <,> и т. Д.) И int. ...
вопрос задан: 26 September 2011 02:44
0
ответов
OCaml: Сопоставление шаблонов и операторы If/else
Итак, я совсем новичок в OCaml и довольно медленно продвигаюсь в реализации своих первых функций. Одна вещь, которую мне трудно понять, это когда следует использовать способности сопоставления с образцом, такие как let foo =...
вопрос задан: 24 September 2011 02:37
0
ответов
Что означает «let () =» в Ocaml?
В некоторых OCaml есть коды вроде let () = print_string «something» в
fn коды. Что это значит? Есть ли у "()" особое значение? или имеет то же значение, что и print_string «что-то»;
fn
вопрос задан: 23 September 2011 05:07
0
ответов
ocaml - Полиморфная печать и тип Потеря
Существует серия функций, таких как print_int, print_endline и printf в ocaml. Я не могу сделать что-то вроде: пусть n = 10 в
Печать n ;; (* И я не изменил `Print Print в случае типа` n` Изменен *) ...
вопрос задан: 16 September 2011 09:15
0
ответов
Смешивание сопоставления шаблона и карри в OCAML
в SML, это распространено и легко определить функцию с использованием как в Carrrying, так и сопоставлении рисунка. Вот простой пример: веселая zip [] _ = [] | zip _ [] = [] | zip (x :: xs) (y :: ys) = (x, y): :( zip xs ys) ...
вопрос задан: 11 September 2011 02:03
0
ответов
Определение функций PointFree-Style в функциональном программировании. Какие минусы / плюсы?
каждый раз, когда я пишу что-то из формы, пусть BatchPopulation F популяция = Array.map (весело я -> Fi) население Я в конечном итоге спрашиваю себя, если бы я не буду лучше написать, пусть BatchPopulation F = ...
вопрос задан: 9 September 2011 21:39