OCaml是一种严格的静态类型函数式编程语言，专注于表达性，正确性和效率。
我有一个列表：[“a”； “A”; “A”; “C”; “乙”； “C”; “C”; “A”; “A”; “d”； “X”; “电子”； &...
使用 OCAML，我需要返回一个没有最后一个元素的列表，例如像 ["one" ; 这样的字符串列表。 “二” ; "三"] 必须显示 ["一" ; “二”……
utop 与 tutorialpoints 的编译器/解释器
我正在尝试在此处和键入 2 时运行 OCaml；；我什么也没得到，我以前用过utop解释器，但我现在很困惑。
要在 OCaml 中使用中缀运算符作为前缀函数，您可以在其周围加上括号。例如，1 + 2 等同于 (+) 1 2。 你如何做相反的事情？ 例如，在 Haskell 中，前缀
我正在查看 List 文档。该库似乎没有提供子列表功能。 我正在尝试获取从 i 到 j 的元素列表。现在我必须把它写成： 让 rec 子列表列出我 ...
Ocaml 5 手册第 11.4 节说 typeexpr 的形式可以是 typexpr as ' ident。 这些别名有什么用？ 下面是一些编译的例子： 输入 'a x = 'a 作为 int 输入 y = 'a as int` ...
我写了一个 C 的子集，关于指针数组的声明有一点模棱两可的语法。事实上，像这样的声明 整数*A[10]； 可以看作是点数组...
ocaml 世界的新手， 我已经安装了 Chamo all seams ok 但我无法启动它，怎么了？？ ~/opam列表 # 包匹配：已安装 #名称#已安装#概要 收敛 ...
如何在 VS 代码上使用 ocamlbuild 的 go-to-definition？
我正在尝试探索该项目：https://github.com/kupl/VeriSmart-public。我正在尝试使用 VS 代码的定义功能，但即使使用官方 Ocaml 扩展也无法正常工作
嗨，我想学习一种 FP 语言（当你在一个不需要你学习太多的职位上工作时，这总是很痛苦），在做了一些研究之后，我觉得 Erlang 和 OCaml 就是这两种语言。 ..
我正在使用 utop 运行 Ocaml，当我在非常长的输入上运行以下函数时： 让 string_to_list str = 让 rec 循环我限制 = 如果我=限制那么[] else (String.get str i) :: (循环 (i ...
像 `Type.eq` / `Typing_equal.equal` 这样的平等证人有什么用？
type ('a, 'b) equal = ('a, 'b) t (source) 有什么用？我在 Coq 中使用过 refl，但还不需要像 OCaml 中那样的东西。 该类型在 Base 和即将发布的 OCaml 版本中定义
我想在当前进程正常退出的时候运行代码把数据刷入磁盘。我不介意当进程异常终止时这段代码是否也运行。 我尝试使用 Gc.finalise 但它出现了
我正在尝试编写一个函数，它给定一些函数 f memoizes f 以这样的方式调用 g = memoize f 后跟 g x 函数 g 的所有后续调用都带有参数 x
我做了一个阶乘函数，当然可以让我计算阶乘，正如我们所知，阶乘永远不可能是< 0. And my code gives me some times negative numbers... Here it is: exception
早上好， 我正在 OCaml 中测试一些东西，因为我是这门语言的新手。问题是我做了一个阶乘函数，当然允许我计算阶乘，正如我们所知，一个
我正在尝试在 sublime text 上构建 OCaml 程序，但问题是我需要 shell_cmd。事实上，据我所见，我们首先必须安装所有依赖项，例如 OCaml 语言，
任何人都可以编写一个程序将总和（1 到 n）更改为 n*（n+1）/2 自动吗？
与记录总和： 让 rec sum a=if a==0 then 0 else a+sum(a-1) 如果编译器使用尾递归优化，它可能会创建一个变量“sum”来迭代（当我使用“ocamlc -
为 int 选项加法设计一个例子 `return` 和 `>>=`
只是为了练习 monad 的概念，我正在尝试编写一个带有 return 和 >>= 函数的 OCaml 程序，这对 int 选项类型有意义。特别是，在我看来