Я провел последние 18 месяцев, получив контроль над функциональным программированием, начиная с изучения OCaml и уже несколько недель Haskell. Теперь я хочу сделать следующий шаг и реализовать какое-т
Я использую OCaml Makefile для проекта я работаю, и я на следующие модули DynamicTree.ml Huffman_Dynamic.ml который использует DynamicTree Huffman_Static.ml main.ml, который использует оба Huffman_Sta
Мне часто приходится сопоставлять кортежи значений, которые должны иметь один и тот же конструктор. Захват _,_ всегда заканчивается в конце. Это, конечно, хрупко, любой дополнительный конструктор, доб
В OCaml, вы можете подписи гнезда: module type FOO =
sig
module type BAR
(* … *)
end
Я просто интересно, если кто-либо имел какие-либо примеры этого в использовании, так как я не могу ду