OCaml是一种严格的静态类型函数式编程语言，专注于表达性，正确性和效率。
我正在尝试从源代码构建Coq：$ git clone https://github.com/coq/coq.git $ cd coq && ./configure我得到（错误）响应：您的OCaml版本是4.04 0.0。你需要 ...
我正在尝试构建LablGtk以从源代码构建CoqIDE。我从这里使用了lablgtk-2.18.7.ta r.gz。当我尝试配置 - 使它我得到此错误（和类似的其他错误）：文件“gdk.ml”...
我想以特定格式获取文件中存在的数字列表。但我没有得到任何格式（如％s％d）的数字列表。我的文件包含如下文字：[1; 2] [2] 5 [45; 37] [9] 33 [...
是否可以通过组合列表的元素而不是创建列表列表来创建列表？示例：List.combine [“A”;“B”] [“C”;“D”] ;;我得到：[（“A”，“C”）; （“B”，“D”）]有可能......
当我浏览网站时：http：//www.cs.princeton.edu/courses/archive/fall14/cos326/sec/03/precept03_sol.ml我根据Ocaml结构得到了一个问题。更具体地说，我......
库在哪里得到我们使用的名称，例如open BsReactNavigation？例如，bs-react-navigation中没有名为BsReactNavigation的模块？那么理智怎么知道我们是什么......
在Ocaml中，当比较字符串（包含数字）时，如何评估布尔值？
字符串比较“3”<=“4”;;评估为“bool = true”这里3小于4所以这是有道理的。这个字符串比较“3”<=“9”;;评价为“bool = true”3小于9所以这......
我正在尝试创建一个字符串数组，以便我可以根据函数的输入参数修改字符串的内容。我最近才开始使用OCaml所以我可能会失踪......
我希望在Ocaml中有用户定义的类型，它表示以英文字母开头的字符串，之后可以有字母或数字。是否可以定义这样的自定义类型？
我目前有一个包含x个字符串的数组，我希望将所有这些条目附加到OCaml中的字符串。我知道在OCaml中将字符串附加到另一个字符串的方法是使用...
模式匹配'Some和None'与浮动选项中的float不匹配？
我试图匹配从List.Assoc.find（浮动选项）返回的浮动。我正在使用模式匹配，但它似乎不起作用。让evalVar（_x：string）（_ q：envQueue）：float = match List ....
（Ocaml）错误：未绑定模块Ocamlbuild_pack.Ocamlbuild_Myocamlbuild_config
我正在尝试编译一个ocaml程序（下面显示的部分）打开Ocamlbuild_plugin打开命令（**辅助函数）（使用分隔符*分割字符串）让rec strsplit sep str ...
我想写一个函数，可以检查列表中的每个项是true还是false。如果至少有一个元素为false，它将返回true，因此：assert_eq“checkFalse [true; false; true]”（...
我是一个ocaml noob，所以为这个愚蠢的问题道歉。我的谷歌技能让我失望了！我试图做一系列let绑定，并希望在for循环中执行它们（我知道，我知道）。当我把...
我正在编写一些OCaml代码，并注意到我的语法突出显示以特殊方式处理。所以我启动了我的OCaml repl（utop）并尝试实例化名称为的变量。让= 1 ;; ...
我正在编写一个查询http://checkip.dyndns.org/的工具来获取用户的IP地址。我需要解析将在表单中返回的结果 Current IP ...
我正在使用调用List.assoc的函数编译一个模块，它无法构建给我“Unbound value List.assoc”...我已经尝试了其他List函数并且它们工作正常，它在utop中也可以正常工作。 ...
如何使用在ReasionML / BuckleScript中生成Js.t对象的可选参数来设置函数？
我有以下函数[@ bs.obj]外部路由：（~_method：string，~path：string，~action：list（string）=> unit，〜options：Js.t（{..}）=？ ，unit）=> _ =“”; ...