ocaml

Я пытаюсь понять продолжение в целом, следуя этому учебнику. Однако мне трудно понять следующий пример в разделе 2.10: # let get () = shift (fun k -> fun state -> k state state) ;; get : unit => ’a = <fun> state это типа int я полагаю. Чего я не понимаю, так это типа k. Согласно моему...

$ ocaml -version The OCaml toplevel, version 4.02.1 $ opam --version 1.2.0 $ opam init $ opam install core #=== ERROR while installing camlp4.4.02.1+system ==============================# # opam-version 1.2.0 # os linux # command sh ./check-camlp4.sh # path /home/john/.opam/system/bui...

Если я это сделаю match (fun i -> i + 1) with (fun i -> i + 1) -> true;; Оно было отвергнуто. Почему OCaml не позволяет сопоставлять функции? ...

Я пытаюсь построить список индексов, где встречаются минимумы списка. let rec max_index l = let rec helper inList min builtList index = match inList with | [] -> builtList | x :: xs -> if (x < min) then helper xs x index :: builtList index + 1 //line 63 else helper xs min bu...

От программиста, обученного в мире C, это мой основной метод для OCaml. let main () = Printf.printf "Hello, world - %d %sn" (Array.length Sys.argv) Sys.argv.(0) ;; main () Однако этот код просто отлично работает с ocaml/ocamlc/ocmalopt. Printf.printf "Hello, world - %d %sn" (Array.length Sys.a...

Каков стандартный способ вставки элемента в определенную позицию в списке в OCaml. Допускается только рекурсия. Операция присвоения не допускается. Моя цель состоит в том, чтобы сжать график в данные, используемые при удалении вершины с in_degree=out_degree=1. По этой причине мне нужно удалить соседние края,...

в чистых функциональных языках, таких как Haskell, есть ли алгоритм для получения обратной функции (edit), когда она биективна? И есть определенным образом запрограммировать функцию так?...

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

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

новичкам в экосистеме неясно, что является канонически предпочтительным способом структурирования и управления строительством малых и средних проектов OCaml. Я понимаю основы ocamlc, &c.--они отражают обычные компиляторы UNIX C достаточно, чтобы казаться простыми. Но, выше уровня разовой компиляции отдель...