Результаты поиска по запросу "ocaml"
отличное объяснение. Я бы использовал emptyenv. Спасибо большое за вашу помощь!
я есть кусок кода ocaml, в котором небольшой язык определяется с помощью статической области видимости. Мне нужно внести изменения в этот язык, чтобы область видимости была оценена как динамическая, но я действительно не могу понять, как это ...
Вот простое рекурсивное решение, которое не накапливает строки и не использует внешние библиотеки, но позволяет вам прочитать строку, обработать ее с помощью функции, рекурсивно прочитать следующую до завершения, а затем завершить работу чисто. Функция выхода закрывает открытый дескриптор файла и сигнализирует об успехе вызывающей программе.
о, что я до сих пор. Разве это не все, что тебе нужно? Я получаю сообщение об ошибке «Ошибка: Unbound module Std» let r file = let chan = open_in file in Std.input_list (chan)
с таким определением, как вы вычисляете число состояний данного автомата?
ного новичок в OCaml. Я хочу реализовать алгоритм построения продукта для автоматов в ocaml. Я запутался, как изобразить автоматы в ocaml. Кто-нибудь может мне помочь?
http://caml.inria.fr/pub/docs/manual-ocaml/lex.html#infix-symbol
еделил пользовательский оператор равенства (определение не очень важно, поэтому я буду вставлять пустышки): let ( ~=~ ) a b = trueЕсли я попытаюсь использовать инфикс: if a ~=~ b then 1 else 2Я получаю следующую ошибку:This expression is not ...
@Brian: Почему мы не можем писать inline IL? Это не ошибка; это особенность. :-)
ько что узнал, что OCAML должен иметь. постфикс для выполнения арифметики с плавающей точкой. Примером будет3. +. 4. который равен7. (С плавающей точкой). Однако F # обрабатывает арифметику с плавающей точкой и целочисленную одинаково, поэтому ...
Я бы сказал, лучше, потому что это уменьшает область и лучше выражает намерение. Если я увижу, что все эти определения объединены в единую область видимости, у меня сложится впечатление, что это было сделано по определенной причине, и я буду искать, как они влияют друг на друга.
имаю, что это, наверное, глупый вопрос, но ... Если я приковываю кучуlet заявления, которые делаютне нужно знать ценности друг друга, лучше ли использоватьand или жеin? Например, какой из них является предпочтительным, если таковой ...
OCaml: не могу запустить utop после установки
Я пытаюсь выучить OCaml через книгу о реальном мире OCaml. У них есть руководство, с помощью которого я должен установить пакет Core и утоп. Однако, хотя я, кажется, успешно устанавливаю оба из них с помощью Opam, ни один из них не работает, ...
Конструкторы и функторы высших порядков в Окамле
Могут ли следующие полиморфные функции let id x = x;; let compose f g x = f (g x);; let rec fix f = f (fix f);; (*laziness aside*)быть написано для типов / конструкторов типов или модулей / функторов? Я пытался type 'x id = Id of 'x;; type 'f ...
Извините, мои навыки программирования типов высшего порядка не так велики. Я, вероятно, вернусь к ОО, создаю классы, которые представляют различные виды вещей, которые вам нужны.
ли кто-нибудь дать мне предложения / советы по созданию целых чисел уровня типа в OCaml (3.12), поддерживающих операции сложения и вычитания над ними? Например, если у меня есть числа, представленные так: type zero type 'a succ type pos1 = ...
ocamlfind не видит установленный пакет
Я хотел скомпилировать свой проект с помощью команды: ocamlfind ocamlopt -package ocamlnet -package batteries -package unix -linkpkg oauth.mlно я получаю следующую ошибку: ocamlfind: Package `ocamlnet' not found make: *** [oauth.cmi] Error ...