0
ответов
ввод ocaml _символ
Я пытаюсь прочитать char из файла, передаваемого через stdinput в ocaml. Мне было интересно, почему я продолжаю получать единицу, когда я могу напечатать _char char, который я получаю в следующем коде. Также я...
вопрос задан: 26 July 2012 03:47
0
ответов
Что такое атрибут antiJARLocking?
что означает атрибут antiJARLocking? Какое это имеет значение, когда я превращаю его в true/false? Я видел этот атрибут в файле context.xml веб-приложения -:
вопрос задан: 23 July 2012 05:42
0
ответов
Что такое основной тип?
Компилятор OCaml имеет опцию «-принципал», и термин «основной тип» иногда упоминается в списке рассылки. Что именно это означает? Определение в Википедии является рекурсивным, так как оно...
вопрос задан: 18 July 2012 13:23
0
ответов
В чем разница между «let ()=» и «let _=»;
let ()= Random.self _init ();; let _= Random.self _init ();; │-:unit = ()Кажется, "let ()" ничего не возвращает? Искренне!
вопрос задан: 17 July 2012 02:25
0
ответов
Ленивость в языке
Я понимаю, что если бы у меня был оператор c = a AND b, если бы a было ложным, то компилятор не стал бы оценивать b, он бы знал результат, потому что a уже ложно. Однако что, если бы у меня была функция ...
вопрос задан: 15 July 2012 00:31
0
ответов
Каков вариант использования оценки времени компиляции D
Я интегрировал эту функцию в свой любимый язык OCaml, я знаю, что это сексуальная функция в D, но каков вариант использования для оценки времени компиляции, кроме некоторых оптимизаций? Чем больше, тем лучше,...
вопрос задан: 12 July 2012 13:22
0
ответов
Режим Tuareg -и режим Caml -
В настоящее время я использую режим tuareg -, но я также хотел бы иметь возможность использовать функциональные возможности режима caml -. В частности, я хочу иметь возможность интерактивно использовать аннотации типов, и, по-видимому, это...
вопрос задан: 9 July 2012 01:45
0
ответов
Соглашение о вызовах OCaml :является ли это точной сводкой?
Я пытался найти соглашение о вызовах OCaml, чтобы я мог вручную интерпретировать трассировки стека, которые gdb не может проанализировать. К сожалению, похоже, что в...
вопрос задан: 4 July 2012 03:46
0
ответов
Эмуляция try -с помощью -finally в OCaml
В OCaml try.. with нет предложения finally, как в Java. Однако это было бы полезно, особенно при работе с побочными эффектами. Например, мне нравится открывать файл, передавать открытый файл в...
вопрос задан: 30 June 2012 19:23
0
ответов
Как определить сигнатуру модуля, реализация модуля которого функтор
Допустим, у меня есть модуль M, параметризованный модулем F: модуль M (F : тип sig id тип конец данных) =
struct type idtype = F.id type datatype = F.data type component = { id : idtype; data : datatype ...
вопрос задан: 30 June 2012 18:14
0
ответов
Почему несвязанные переменные типа в объекте OCAML не отображаются при использовании типа класса?
Я хотел бы понять причину такого поведения объектов OCAML. Предположим, у меня есть класс A, который вызывает методы объекта другого класса B. Схематически A#f вызывает B#g и B#h. Нормальное...
вопрос задан: 24 June 2012 13:07
0
ответов
Странный пример типизации в Ocaml
Довольно странно, что этот фрагмент ocaml хорошо типизирован на верхнем уровне. Посмотрите на структуру, если g имеет тип int->int, как показано на верхнем уровне, часть структуры hx = gx не будет...
вопрос задан: 19 June 2012 16:12
0
ответов
Накладные расходы на исключения CLR и OCaml
Reading Beginning F# — Robert Pickering Я сосредоточился на следующем абзаце: Программисты, работающие с OCaml, должны будьте осторожны при использовании исключений в F#. Из-за ...
вопрос задан: 9 June 2012 21:52
0
ответов
Как взять произведение из двух списков в OCaml?
У меня есть два списка: пусть a = ["a";" b"];
пусть b = ["c";" d"]; Мне нужен выходной список c, такой как : c = ["a";" c";" a";" d";" b";" c";" b";" d"]; Как это сделать в ocaml, так как списки неизменяемы? Я новичок в этом.
вопрос задан: 5 June 2012 07:49
0
ответов
Задержка потока и события клавиатуры в OCaml
Вот простой игровой цикл в OCaml. Отображается состояние, принимается ввод и состояние расширяется. Количество кадров в секунду ограничено 40 за счет задержки потока на 0,025 секунды...
вопрос задан: 29 May 2012 22:10
0
ответов
Засыпание менее чем на секунду в OCaml
Функция Unix.sleep может приостановить программу на целые секунды, но как вы можете приостановить ее менее чем на секунду?
вопрос задан: 28 May 2012 19:31
0
ответов
OCaml internals: Исключения
Мне любопытно узнать, как обрабатываются исключения в OCaml runtime, чтобы сделать их такими легковесными. Используют ли они setjmp/longjmp или они возвращают специальное значение в каждой функции и распространяют его? Это ...
вопрос задан: 28 May 2012 07:59
0
ответов
Когда следует использовать объекты в OCaml?
Обычно программа OCaml может быть написана как с объектами, так и без них. Когда наиболее выгодно использовать объекты, а когда их следует избегать?
вопрос задан: 28 May 2012 04:33
0
ответов
Функция OCaml над полиморфными вариантами недостаточно полиморфна?
OCaml дает функцию `A -> 1 | _ -> 0 тип [> `A] -> int, но почему это не [> ] -> int? Это мое рассуждение: функция `B -> 0 имеет тип [<`B] -> int. Добавление `A -&...
вопрос задан: 26 May 2012 19:22
0
ответов
Каков предпочтительный способ структурирования и строить проекты OCaml?
Новичкам в экосистеме непонятно, какой канонически предпочтительный способ структурировать и управлять созданием малых и средних проектов OCaml. Я понимаю основы ocamlc и т. Д. - ...
вопрос задан: 23 May 2012 07:43
0
ответов
Sqlite bindings for OCaml
I have been looking for SQLite bindings for OCaml. I stumbled upon ocaml-sqlite3 which looks good and current, but there is no documentation whatsoever about how to use it. There is some very old ...
вопрос задан: 23 May 2012 00:09
0
ответов
Сохранение инвариантов при разрешении деструктурирования
Я хочу определить тип, чтобы вся конструкция проходила через элементы модуля, которые могут сохранять инварианты, но разрешать деструктурирование для сопоставления с образцом. Я только изучаю OCaml, но следующее...
вопрос задан: 22 May 2012 20:50
0
ответов
Почему в OCaml предпочтение отдается каррированию аргументов кортежа?
В «Введении в Caml» говорится: «Примечание: в Caml лучше использовать определения каррированных функций для функций с несколькими аргументами, а не для кортежей. при сравнении 'a -> 'b -> 'c соглашений о вызовах с '...
вопрос задан: 22 May 2012 15:29
0
ответов
эффективная функциональная структура данных для конечных биекций
Я ищу функциональную структуру данных, которая представляет конечные биекции между двумя типами, эффективную по пространству и времени. Например, я был бы счастлив, если бы, рассматривая биекцию f...
вопрос задан: 22 May 2012 14:58
0
ответов
Использование OCaml Batteries Included как ванильный CMA
Я немного расстроен и сбит с толку концепцией OCaml Batteries Included и тем, как действует большинство руководств, которые я смог найти. Прежде чем я смогу использовать инструменты «производительности», такие как GODI, или заменить вызовы ...
вопрос задан: 19 May 2012 17:17
0
ответов
OCaml: ограничения типов в подписях
В моем коде есть контекст доступа к базе данных, который обеспечивает элементарные операции чтения/записи, называемый CouchDB.ctx. Затем различные модули в моем приложении расширяют этот класс дополнительными функциями, ...
вопрос задан: 18 May 2012 13:35
0
ответов
Эффективная быстрая сортировка Ocaml
Я хотел бы знать, как написать эффективную версию быстрой сортировки, в которой список разбивается за один проход. У меня есть этот фрагмент кода, пусть rec quicksort' = function
[] -> []
| x::xs -> let ...
вопрос задан: 15 May 2012 10:29
0
ответов
Как работает переменная область Ocaml?
Я начинаю учиться Ocaml, используя hickey book, и я застрял на упражнении 3.4, часть 9, пусть x x = x + 1 in x 2 Результат операции равен 3, но я не понимаю, почему?
вопрос задан: 14 May 2012 12:41
0
ответов
Понимание API продолжений с разделителями с несколькими подсказками
API для продолжений с разделителями с несколькими подсказками описывается в документе Delimited Control in OCaml, Abstractly and Concretely System Description. Мой вопрос касается типа push_subcont : ('a,...
вопрос задан: 13 May 2012 01:08
0
ответов
ocaml string to 4 float
Я пытаюсь получить поплавки из строки.
Я имею в виду чтение строки за строкой из текстового файла и получение поплавков из строки. Я нашел, как читать строку за строкой, но не смог разбить строку на...
вопрос задан: 10 May 2012 18:46