4
ответа

Используя переменную в сопоставлении с образцом в Ocaml или F#

У меня есть функция формы '-> ('* интервал) список->, интервал позволил привязке rec getValue идентификатора = привязка соответствия с | (идентификатор, значение):: хвост-> оценивает | (_, _):: хвост->...
вопрос задан: 14 November 2011 00:19
4
ответа

Дублирование в описании типа OCaml (ml/mli)

Я пытаюсь понять определенную вещь о ocaml модулях и их компиляции: я вынужден повторно объявить типы, уже объявленные в .mli в определенных .ml реализациях? Только дать...
вопрос задан: 13 July 2010 15:04
4
ответа

Подавите исчерпывающее предупреждение соответствия в OCaml

У меня есть проблема в фиксации предупреждения, что компилятор OCaml дает мне. В основном я анализирую выражение, которое может быть составлено Bool, Интервалом и Плаванием. У меня есть таблица символов, которая отслеживает весь...
вопрос задан: 25 June 2010 23:06
4
ответа

Обработка возрастающих Изменений Моделирования данных в Функциональном программировании

Большинство проблем, которые я должен решить в своем задании как разработчик, имеет отношение к моделированию данных. Например, в мире веб-приложения ООП я часто должен изменять свойства данных, которые находятся в объекте...
вопрос задан: 11 May 2010 02:03
4
ответа

Как я пересекаю два списка в OCaml?

Когда у меня есть два списка в OCaml, например, e1 = [3; 4; 5; 6; 7] и e2 = [1; 3; 5; 7; 9] Есть ли эффективный способ получить пересечение тех двух списков? Т.е.: [3; 5; 7], поскольку я не делаю...
вопрос задан: 4 March 2010 11:44
4
ответа

Делает! = имейте значение в OCaml?

Это, кажется, сравнение эквивалентности для некоторых типов, но не строки. № 3! = 3;;-: bool = ложный № 3! = 2;;-: bool = верный Это как ожидалось. # "odp" = "odp";;-: bool = истинный # "odp"! = "...
вопрос задан: 11 September 2009 18:50
4
ответа

Erlang по сравнению с OCaml (лучшая ниша для установки)

Привет я хотел бы взять один язык FP (это - всегда боль, когда Вы работаете в положении, которое не требует, чтобы Вы изучили много), и после проведения некоторого исследования, я чувствовал Erlang, и OCaml являются двумя что я'...
вопрос задан: 21 August 2009 04:39
4
ответа

OCaml имеет общую карту ()/, уменьшают () функции?

В карте Python () работает над любыми данными, которые следуют протоколу последовательности. Это делает Правильный Thing^TM, подаю ли я его строка или список или даже кортеж. Разве у меня не может быть своего пирога в OCaml также? Сделайте меня действител
вопрос задан: 6 November 2008 17:35
4
ответа

Что идиома OCaml эквивалентна функции диапазона Python?

Я хочу создать список целых чисел от 1 до n. Я могу сделать это в Python с помощью диапазона (1, n+1), и в Haskell, использующем: возьмите n (выполните итерации (1 +) 1). Какова правильная идиома OCaml для этого?
вопрос задан: 28 October 2008 16:06
4
ответа

Запись расширений Emacs на языках кроме Lisp

Я хотел бы взять существующее приложение (записанный в OCaml) и создать Emacs "интерфейс" для него (как, например, режим Emacs GDB). Я предпочел бы делать это, не пишущий тонну кода Lisp....
вопрос задан: 18 August 2008 20:31
3
ответа

Каковы различия между SML и OCaml? [закрытый]

Что отличает два диалекта ML?
вопрос задан: 7 September 2017 14:01
3
ответа

Преимущества и использование языка функционального программирования [дубликат]

Возможный Дубликат: Почему функциональные языки? Я начал программировать с C/C++, VB и в конечном счете Python - все императивные языки. Я взял курс о языках программирования и изучил мой...
вопрос задан: 23 May 2017 12:00
3
ответа

Объясните функторы OCaml мне? [дубликат]

Возможный Дубликат: В Функциональном программировании, что такое функтор? Я не знаю много о OCaml, я изучал F# в течение некоторого времени и вполне понимаю это. Они говорят, что F# пропускает модель функтора...
вопрос задан: 23 May 2017 11:46
3
ответа

Смешивание OCaml и C: стоит ли это боли?

Передо мной стоит задача создания нового компонента, который будет интегрирован в большую существующую С-кодовую базу. Компонент, по сути, является своего рода компилятором, и он будет достаточно сложным, чтобы я ...
вопрос задан: 23 May 2017 10:29
3
ответа

как получить список sub из списка в ocaml

Я смотрю на документацию Списка. Кажется, что библиотека не обеспечивает функцию подсписка. Я пытаюсь получить список элементов от меня до j. Теперь я должен записать это как: позвольте rec подперечислить список i j =...
вопрос задан: 11 March 2016 18:14
3
ответа

Каково различие между 'забавными' и 'функциональными' ключевыми словами?

Иногда я вижу, что код любить позволил (высокий звук: устройство распознавания-> устройство распознавания-> устройство распознавания) = забава b p-> объединение (p) (b p) Или как: позвольте HD = функциональные Недостатки (x, xf)-> x | Ноль->
вопрос задан: 25 November 2015 22:04
3
ответа

Там какой-либо свободный OCaml к переводчику C? [закрытый]

Таким образом, у меня есть хороший код OCaml (50 000 строк). Я хочу портировать его на C. Так Есть ли какой-либо свободный OCaml к переводчику C?
вопрос задан: 11 June 2014 22:31
3
ответа

Как считать битовый массив в OCAML?

Я хочу считать растровый файл (из файловой системы) использующий OCAML и сохранить пиксели (цвета) в массиве, которые имеют th размер битового массива, каждый пиксель возьмет одну ячейку в массиве. Я...
вопрос задан: 27 February 2014 19:29
3
ответа

OCaml: Древовидные функции

Есть ли какие-либо модули или функции для контакта с деревьями? У меня есть тип, который похож на это: тип t = Лист строки (* todo: замена '*) | Узел строки * t список и я...
вопрос задан: 24 October 2013 13:52
3
ответа

Стиль передачи продолжения Ocaml

Я плохо знаком с ocaml и пытающийся записать продолжение, передающее функцию стиля, но вполне перепутал то, что оценивает, я должен передать в дополнительный аргумент k, например, я могу записать рекурсивную функцию это...
вопрос задан: 1 June 2013 02:49
3
ответа

Парсинг грамматик с помощью OCaml

У меня есть задача записать (игрушечный) синтаксический анализатор для (игрушечной) грамматики с помощью OCaml и не уверенный, как запустить (и возобновить), эта проблема. Вот демонстрационная грамматика Awk: введите ('нетермин', термин) символ = N '...
вопрос задан: 16 September 2012 21:19
3
ответа

Привязка базы данных для OCaml?

Я пытаюсь найти, что библиотека получает доступ к базе данных из программы OCaml. После попытки ocaml-sqlite, я не удовлетворен, так как это несколько медленно. Я видел модуль MySQL, но это, кажется, не...
вопрос задан: 15 July 2012 16:59
3
ответа

действительно ли возможно воспроизвести строковую интерполяцию Python в ocaml?

В Python можно использовать printf как форматирование с оператором "%": "мне %d годы" % 99, или "%s %d годы" % ("боб", 101) там способ получить тот же краткий синтаксис в Ocaml, для...
вопрос задан: 1 May 2012 01:38
3
ответа

Выполнение N-мерного обхода в чистом функциональном ML?

Идея является к технической победе несколькими размерами, каждый определенный как диапазон (* lower_bound, upper_bound, number_of_steps *) диапазон типа = реальный * реальный * интервал так функции как забавное нечто y x или забавное нечто z y...
вопрос задан: 5 February 2012 21:18
3
ответа

Расширение существующего типа в OCaml

Я делал некоторый OCaml, программирующий в последнее время, чтобы выучить язык и стать более знакомым с функциональным программированием. Недавно, я начал думать, что я хотел бы смочь расшириться...
вопрос задан: 18 April 2011 18:04
3
ответа

Haskell или Ocaml с OpenGL и SDL предварительно скомпилировали распределение для Windows

Я хочу узнать, что Ocaml или Haskell и я хотим сделать это путем записи простой игры. По-видимому, существует одна небольшая проблема: никто не заботится о Windows, и я хочу сделать это в Windows, исходно. Haskell имеет...
вопрос задан: 1 August 2010 10:54
3
ответа

Действительно ли OCaml подходит для записи сетевых серверов?

Я задавался вопросом, будет ли OCaml работать хорошо с точки зрения производительности и простоты реализации при контакте с типичными клиент-серверными взаимодействиями по TCP в многопоточной среде.. Я имею в виду...
вопрос задан: 14 July 2010 10:00
3
ответа

Как я могу пропустить термин со Списком. Карта в OCAML?

Предположим, что у меня есть некоторый код как это: List.map (забава e->, если (e <> 1) затем e + 1 еще (*add ничто к списку*)) там способ сделать это? Если так, как? Я хочу обоим, управляют объектом...
вопрос задан: 8 July 2010 09:17
3
ответа

несколько типов параметров

Я пытаюсь записать что-то вроде этого: введите ''b xxx = {aaa: 'a: bbb: 'b: ccc: интервал};; Это не компилирует. Это - просто синтаксическая ошибка, или они не позволяют несколько параметров на типе? Затем, почему?
вопрос задан: 25 May 2010 04:02
3
ответа

Факторинг присвоений типа продукта в OCaml

Я обычно не удовлетворен с написанием кода как это: load_record_field курсор, которому позволяют, получает geti gett =, функция | 0x01-> позволила c, s = добирается () в (a_record_uuid <-s; 'More_record c) | 0x02...
вопрос задан: 26 February 2010 14:34