две вещи, которые вы, скорее всего, использовали бы, чтобы «отобразить» результат различной длины.

 укажите спецификатор формата и предоставьте свой собственный симпатичный принтер.

ли в стандартной библиотеке или в Core что-нибудь, что я могу использовать для форматирования целых чисел с тысячами разделителей?

@Juliet: Спасибо за ваш вдумчивый комментарий. Я не имел в виду неуважение к функциональным языкам, я знаю, что это за мощная парадигма, и использовал функциональные концепции для большого преимущества в моем программировании на Python. Моя ссылка на «среднестатистического программиста» здесь была основана на текущих оценках TIOBE, в которых Java, C, C ++, PHP и Python находятся в первых 5 местах, ML - в позиции 38, а OCaml & F # - где-то ниже 50 лучших. это был вопрос об OCaml, адресованный программистам OCaml, теперь я понимаю, что был не в силах предложить процедурный подход.

аюсь написать топологическую сортировку в ocaml, но я новичок (в алгоритмах OCaml и графиков), и я не могу сделать это самостоятельно. Мне проще думать о топологической сортировке, например, в C ++ (и в Интернете много примеров топологической ...

Пути библиотеки Ocaml Utop, модуль Core

Я пытаюсь использоватьCore модуль вutop, созданный Jane Street и установленный с помощьюopam. Вот проблема utop # open Core.Std;; Error: Unbound module Coreutop кажется, не имеет пути кCore модуль. Как вы указываете путь, который может быть ...

2) Неизвестная директива `require '.

ростой пример использования библиотеки Cohttp: open Lwt open Cohttp open Cohttp_lwt_unix let body = Client.get (Uri.of_string "http://www.reddit.com/") >>= fun (resp, body) -> let code = resp |> Response.status |> Code.code_of_status in ...

Извините за задержку с ответом. Я пришел к этому довольно поздно. Благодарю за ваш ответ. Небольшая комбинация вашего первого и второго метода в итоге сработала для меня. Я использовал модуль Locations и модифицировал каждый astnode, чтобы он содержал информацию о местоположении. Таким образом, когда я анализирую свою программу, я присоединяю информацию строки и другую информацию метаданных к генерируемому узлу ast. Это не требует какого-либо внешнего сопоставления, тем самым устраняя еще одну добавленную головную боль.

даю компилятор в OCaml, где грамматика выглядит следующим образом: type expr = | Cons of const | Var of string | List of ( expr list ) | Sum of ( expr * expr ) | Less_than of ( expr * expr ) | Conditional of ( expr * expr * expr ) | ...

Вторая переменная должна быть добавлена ​​в определение типа задачи, чтобы выразить отдельные значения успеха и ошибки. Вот полное решение:

следующие виды: type _ task = | Success : 'a -> 'a task | Fail : 'a -> 'a task | Binding : (('a task -> unit) -> unit) -> 'a task | AndThen : ('a -> 'b task) * 'a task -> 'b task | OnError : ('a -> 'b task) * 'a task -> 'b task type _ stack = | ...

Спасибо; сейчас читаю газету.

рвые смотрю на OCaml, немного разбираясь в F # и Haskell. Таким образом, многое выглядит знакомо, но одной вещью, которая не является, является концепция «открытых» и «закрытых» союзов (с обратным ключом и [<синтаксис). Для чего они нужны и как ...

По электронной почте Ой. Конечно, в приведенном выше сообщении, () должен был читать (*)

ел увидеть тип функции умножения (*), поэтому я подключил ее к уровню OCaml. # (*)Тем не менее, верхний уровень повторил: (*);; 1: this is the start of a comment.и затем использовал все дополнительные данные, которые я вставил. Я решил, что мне ...

Об алгоритме сопоставления с образцом в OCaml

Я пишу компилятор для функционального языка, который я разработал с помощью OCaml. Я хочу, чтобы мой маленький язык имел функцию сопоставления с образцом, однако я застрял в разработке алгоритма для его реализации. Это кажется действительно ...