相关函数（不是所有显示的）是
<pre><code>let rec eval_expr env e = match e with
| Value(value) -> value
| ID(var)
我对 OCaml 很陌生，但遇到了这个错误：
<pre><code> let n = read_int ()
let rec pi =
match n with
| _ when n &
我有以下函数，如果它是偶数，则返回数字的一半。
<pre><code>let regraUm m = if ((m mod 2) = 0) then m/2 else m;;
我正在关注 OCaml 上的 <a href="https://fr.wikibooks.org/wiki/Objective_Caml/Structures#Les_sommes_comme_%C3%A9num%C3%A9rations" re
有没有办法将 <code>*.out</code> 可执行的 Ocaml 文件完全或部分反编译为源代码？
<a href="https://i.stack.imgur.com/LcYZN.png" rel="nofollow noreferrer">Code</a>
我不明白如何反转我创建的这个列表
我想读取一个数字，但是当我尝试编译它时，它在 <strong>read_int()</strong> 行中给了我 <strong>Exception: End
我正在尝试制作一个 visjs-network 库可以接受的 json。
<a href="https://visjs.github.io/vis-network/docs/network/" r
以下代码在 <a href="https://try.ocamlpro.com/" rel="nofollow noreferrer">https://try.ocamlpro.com/</a> 上运行没有错误
<pr
将项目附加到递归函数中的列表的正确方法是什么？
<pre><code>$1,525
$1,525.25
</code></pre>
另一个例子：
我最近一直在尝试 <code>esy</code>，我很喜欢它。
为了让 Emacs 的 Tuareg 模式不再抱怨缺少 <code>_build</c
我想<strong>追加</strong>以下列表：
<pre><code>open Printf
open Format
let l1 = [[0;0];[1;1]]
let l2 = [2;2]
let l3 = l1 @ [
我正在尝试学习 OCaml，因为我是这门语言的新手，我偶然发现了这个问题，在我需要合并 2 种这些列表
我想将 2-3-4 树分解为小节点。
这些是我正在使用的类型：
<pre class="lang-ml prettyprint-override"><code>
我在这里看到了一篇关于“使用指令不是指令”错误的帖子，我遇到了类似的问题，但没有充分的理由
我一直在阅读 F# 文章，他们使用单个案例变体来创建不同的不兼容类型。但是在 Ocaml 中，我可以使用私
我试图理解为什么以下 Python 代码比 F# 和 Ocaml 版本运行得更快：
<pre><code>from sys import stdin, stdout
def r
我收到下面的错误，我不知道为什么会这样。任何帮助表示赞赏。该程序是 Ocaml 中的解释器。 tryOcaml 加
我无法运行有关逻辑和推理的代码：<a href="https://www.cl.cam.ac.uk/%7Ejrh13/atp/" rel="nofollow noreferrer">https://www.cl
我有两个编译单元和一个“前端”文件。
在第一个编译单元中，我在 <code>moduleA.mli</code> 中有以下
