OCaml是一种严格的静态类型函数式编程语言，专注于表达性，正确性和效率。
OCaml是否具有来自模块导入值1的等效（可能涉及camlp4指令），Python中的value2或使用模块qw [value1 value2];在Perl？我希望能写...
任何时候我使用List.init我得到错误错误：未绑定值List.init我认为这是因为我有Ocaml 4.03.0和List.init直到4.06.0才引入。这会让我相信我......
下面是代码：模块类型S = sig类型t val do_it：t - > int - > t end let rec foo（类型a）（模块Foo：S类型为t = a）（i：int）（x：a ）=如果i = 0则x else foo（i-1）（Foo.do_it xi）...
我正在OCaml中编写一个函数来检查两个类型是否是可以统一的，并且如果有一个或者打印相应的消息将产生一个unifier。这是类型系统：type typExp = | ...
如何使用OCaml中的Yojson检查JSON对象中是否存在字段？我需要像下面这样的has_key函数：let（）= let data = Yojson.Basic.from_string“{\”x \“：4}”in ...
我在OCaml中创建了一个直接对象。 let x = object（self）val dataMember = 3方法aMethod = print_endline“Called a method”end ;;由于对象没有名称（是否被认为是......
我正在寻找Ocaml中一个从文本文件中读取Unicode的简单示例，并将其打印到控制台。我检查了几个声称支持Ocaml中的Unicode的软件包，但这些软件包不...
我正试图在ocaml制作俄罗斯方块游戏，我需要以一定的速度在图形屏幕上移动。我认为最好的方法是制作一个递归函数来绘制......
当给定包含CJK字符的字符串时，String.length返回字符串中错误的字符数，因为它计算字节数。例如：＃String.length“第1”;; - ：int = ...
我想约束一个类型变量只允许多态变体类型，这样我就可以使用变量在签名中构造其他多态变体类型：输入'a t val f：'a ...
非常接近让这个工作，但从OCaml的StringMap遇到麻烦。基本上我正在制作一个计算器，它从ocamllex中获取词汇流...所以这里的逗号应该......
我想编写一个函数，给定一个非负整数n，返回{1，...，n}的幂集。所以我想使用这里找到的Set.S模块。但我似乎无法导入它。当我跑...
我正在尝试创建Lwt的并发示例，并想出了这个小样本let（）= Lwt_main.run（让Lwt_io.open_file中的start = Unix.time（）Lwt_io.Input“/ dev / urandom”> ...
我是OCaml的初学者。我想编译这段代码，但是我收到了一个错误。输入pointeur_de_code = int ;; type environnement = int ;;输入mlvalue = | int |的Ml1 pointeur_de_code的Ml2 * ......
我是Ocaml的新手，只是想确保如何执行一个简单的函数，比如使用递归函数返回列表的第n个元素？原型如get_nth（list，n），带有int list * int -...
这是我与ocaml的第一天。到目前为止享受它。我想弄清楚是否有办法打印函数的结果。这是基于Project Euler＃5的示例。我的代码是：让rec gcd a b ...
我有一个关于OCaml中递归函数的执行流程的问题。这是场景：我有两个递归函数，Concat和Reverse。反向调用Concat。有人能够......
假设我有一个函数foo x y z - > xyz现在通常我可以通过给foo x y然后将它链接到另一个争论来进行咖喱。我的问题是，如果我不想改变参数的顺序，...
我正在寻找创建一个函数来输出代码文件（如果可能的话，输出一个C ++文件）与OCAML。有没有办法轻松做到这一点或使用open_out函数提供...
我无法理解OCaml中高阶函数的函数类型签名。 fun f - > f 3（int - > a） - > a我处理的方法是f 3部分将int作为输入并且...