Результаты поиска по запросу "ocaml"
Попробуйте для дальнейшего понимания интерфейса / модуля OCaml
Я так понимаю в OCaml есть понятияinterfaces а такжеmodule. И теперь я понимаю, как их использовать. Однако я не понимаю, как их полностью использовать. Например, в Java, скажем, у нас есть интерфейсMap и у нас также естьHashtable ...
Разница в производительности между сопоставлением с образцом и if-else
Почему OCaml может генерировать эффективный машинный код для сопоставления с образцом, а не для тестов if-else?Я читал Real World OCaml, и я столкнулсяэтот р...
Почему частичное заявление имеет ограничение по стоимости?
я могу понять, что
Можно ли вызвать OCaml из .NET?
Можно ли использовать OCaml с кодом .NET? Я хотел бы вызвать его как C ++. Или, может быть, есть мост для этого.
Генерация кода сценария оболочки CLI из скомпилированного исполняемого файла? [закрыто]
Вопрос, тема обсужденияЯ очень заинтересован в создании исходного кода сценариев оболочки командной строки из кода, написанного на более надежном, хорошо работающем и независимом от платформы скомпилированном языке (например, OCaml). По сути, вы ...
Правильный способ использования структуры данных в OCaml
Хорошо, я написалbinary search tree в OCaml. type 'a bstree = |Node of 'a * 'a bstree * 'a bstree |Leaf let rec insert x = function |Leaf -> Node (x, Leaf, Leaf) |Node (y, left, right) as node -> if x < y then Node (y, insert x left, right) else ...
Когда в OCaml вступает в действие смягченное ограничение ценностей?
Может ли кто-то дать краткое описание того, когда наступит ослабленное ограничение стоимости? Я'У нас были проблемы с нахождением краткого и ясного описа...
Знаете ли вы о OCAML IDE? [закрыто]
Знаете ли вы, OCAML / CAML IDE? Особенно тот, который работает на Linux?
Хвост рекурсивная функция, чтобы найти глубину дерева в Ocaml
У меня есть типtree определяется следующим образом type 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree ;;У меня есть функция, чтобы найти глубину дерева следующим образом let rec depth = function | Leaf x -> 0 | Node(_,left,right) -> 1 + ...