OCaml是一种严格的静态类型函数式编程语言，专注于表达性，正确性和效率。
如何使用[@ ocaml.warning“-30”]隐藏警告30
我有两个相互依赖的记录，它们都有一个同名的字段。如何使用ocaml.warning属性隐藏此警告？我想避免像[@@@ ocaml ....
我试图将此C代码转换为OCaml代码，该代码应检查输入int是否为素数。我的C代码有效，但我的ocaml代码甚至没有运行。 void is_prime（int pri）{int a = ...
我正在尝试创建一个过滤函数，它接收一个函数作为参数和一个列表，并返回另一个带有过滤结果的列表。让rec过滤bool func l r =与l匹配l [] -...
我试图使用递归来反转列表（不改变它）与辅助函数，没有匹配或折叠。目标：＃let list1 = [“a”; “B”; “C”; “d”; “E”]; val list1：string list = [“...
我有一个我在Ocaml工作的功能。它由一个函数组成，该函数接收两个字符串列表并返回一个字符串列表。该功能如下操作。它扫描每个单独的字符串...
我正在编写一个递归的OCaml函数，它连接由分隔符连接的字符串列表中的字符串，而不会在最后一个项目上放置分隔符，但我遇到了一些问题。我知道那里......
这是我想要实现的目的，通过递归返回到具有低于给定值的值的列表：#list_below 3 [7; 1; 0; 3]; - ：int list = [1; 0] #list_below 1 [-7; 1; 0; 3]; -...
好吧，更多类型的hackery失败。 :)：P在我为期一周的追求摆脱（运行时）断言（n> 0）而不是静态检查它时，我想出了这个模块：模块Nat：sig类型......
我想切换一些我的类型来使用Ocaml多态变体，用开放递归分解它们，同时仍然保留我现有的私有非多态类型的强制执行，如...
我发现了一个奇怪的事情：在我的代码中，我想输出包含特殊类型元素的列表数据，该元素由另一种类型和名称组成。我从来不需要像这样的代码......
OCaml的字符串文字语法让s =“...”在手册中的预期位置进行了解释：https：//caml.inria.fr/pub/docs/manual-ocaml/lex.html#s：.stringliteral但是， OCaml有......
假设我想使用局部变量声明一个全局变量：我可以做（1）让y = let x = 1 in x + 1 ;;但是现在如果我这样做（2）让x = 1 in let y = x + 1 ;;似乎ocaml不明白......
我正在修改用OCaml编写的现有编译器。我已经为编译语言的AST添加了位置，但它导致了一堆错误，因为相等检查...
在OCaml中，hy我们有'+。'，' - 。'但我们只使用'
标题说。在OCaml中，你可以做1 + 1而不是1.0 + 1.0我得到这个，'+'是一个带有两个int参数的函数。但为什么我们有'>'适用于float和int？这是 ...
我在这段代码中不断得到一个未绑定的值错误：let count element list = let counter = 0 in for i = 0 to List.length list do if if element == List.i list then counter = ...
我在一个名为main.ml的文件中有这个：let（）= JsooTop.initialize（）我尝试使用以下命令编译文件：ocamlfind ocamlc -package js_of_ocaml -linkpkg -o main.byte main.ml但是出现此错误：...
我对OCaml中的关联性感到非常困惑。我们先来看一些例子。 1. +左联想还是正确？我认为它是联想的。这意味着如果我们有一个+ b + c + d，那么......
如何做一个等效的int变量;在OCaml？也就是说，如何简单地声明变量？根据OCaml手册，似乎只能声明和初始化变量......
我不确定最好的办法，所以我想我会问。我有这样的一行：NAME =“/ dev / sda”TYPE =“disk”MODEL =“KINGSTON SV300S3”（来自lsblk有几个选项）我会......
int键的OCaml映射:: where是用于Map.Make仿函数的'simple'int模块？
我需要一个带有int类型键的OCaml映射，所以我使用Map.Make创建一个。然而，似乎标准模块“仅”提供了Big_int，Int32，Int64和Nativeint等需要...的模块。