当你在 ocaml 中输入时，有没有办法知道它在 Ocaml 中是什么类型的。
例如，在 python 中，如果你输
这个函数是做什么的？
<pre class="lang-ml prettyprint-override"><code>let minium (l: int list) :int option =
begin match
这个函数是否接受两个 int 列表“x 和 y”并返回一个 y-x 的 int 列表？
<pre><code>let rec fun4 (l: int list) :in
我想使用 <strong>camlp5</strong> 为 OCaml 创建一个打印机扩展。我的代码看起来像 <a href="https://camlp5.readthedocs
如果我想在下面的代码上运行抽象机的模拟，我怎么知道工作区、堆栈和堆中会有什么？
<pre><code>let
我正在编写将整数列表作为输入并将质数和合数分成两个列表的函数：
<pre><code>#prime_sep [1; 2; 3; 4; 5; 6
我在 OCaml 中编写了一个库，其所有源代码都位于 <code>lib</code> 文件夹中。
我还在 <code>bin</code> 文件夹中
尝试从编译 ocaml 项目
<a href="https://gitlab.com/benjgregoire/maskverif/" rel="nofollow noreferrer">https://gitlab.com/ben
例如，考虑以下代码：
<pre><code>type foo = Foo of int
let apply z f = f z
(* This is not allowed *)
let create_foo = Foo
这是我的代码：
<pre class="lang-ocaml prettyprint-override"><code>module type Queue =
sig
type element
type queue
我正在尝试在编码问题网站上运行以下代码，它说存在运行时错误，但在顶级 ocaml 上运行它似乎工作正
线
<pre><code>Concat((a,b)) -> let x = regexp_to_nfa a and y = regexp_to_nfa b in match x.fs with [t] ->
</code></pre>
出
我有一个函数，它使用一个接受字符串并返回字符串的可变变量。 （它是一个读取 eval 打印循环解释器
我正在寻找一个库来解析 OCaml 中的数学表达式。具体来说，这是我正在制作的衍生计算器。
例如
在 ocaml 中进行此类型检查是否需要一些注释？
<pre class="lang-ml prettyprint-override"><code>library(data.table)
lib
我正在尝试使用 LLVM 和 OCaml 实现具有用户定义类型的静态类型语言，但我不知道如何将 newtype 定义实际
我在终端（在 OCaml 中）遇到了一些用于聊天应用程序的代码，并在新用户消息之前将这个字符串（在 ASC
这个问题与<a href="https://stackoverflow.com/questions/22132458/library-function-to-find-difference-between-two-lists-ocaml">Library
我很难理解为什么下面的代码没有找到任何匹配的结果：
<pre><code>module IntPairs =
struct
type t = int * int
我刚刚写完这篇模式匹配（下面附上）。无论我如何尝试修复它，当我尝试编译它时仍然出现“错误：
