当我通过选择所有代码行然后按Ctrl + Enter在 VS Code 中运行上述程序时，这是终端中显示的内容： 如您所见，它逐行显示我的程序行，这使得显示 160 的 output 需要很长时间我该如何解决这个问题？ ...
dune utop.中test0定义的命名空间是什么？ 环境，给定以下带有沙丘构建定义的 ocaml 代码：~/_ocaml_/n01$ cat bin/dune (executable (public_name n01) (name main)) ~/_ocaml_/n01$ cat b ...
我在 utop 中尝试过，但由于我不熟悉沙丘项目，因此失败并报告错误此表达式具有 int list 类型，但预期的表达式为 unit 类型。 这是用于线路filter greaterthanfive list1open Base let rec filter p inputList = match ...
我按照此处的指导下载并执行了 utop，然后运行了以下代码： Scanf.scanf "%d %d" (fun ab -> Printf.printf "%d\n" (a - b));; 在我第一次输入3 1时，它工作正常，给出2 -: unit = () ， 但是在第二次尝试使用相同的输入 ...
在 Haskell 中，我们可以在终端输入多行代码，将其括在“:{”和“:}”之间。 例如，键入>:{ main = do > print("Hello"):} 在 ghci 中，我们可以调用main 。 我们如何在 utop 上的 Ocaml 中做到这一点？ ...
如何在我的 utop 中使用 ppx 派生（ https://github.com/ocaml-ppx/ppx_deriving ）？ 例如，我必须遵循以下代码： module A = struct module T = struct type t = int [@@deriving ...
我有一些使用模块Big_int的代码，例如： 但是，当我用 utop dune utop --release编译它时（我使用release来避免一些警告），然后我得到这个错误： Error: Required module `Big_int' is unavailable 我已经阅读了它并且我已经 ...
在utop （或dune utop ）中加载代码并使用#show Bin.Stop 打印任何数据构造函数（如Bin.Stop ）时#show Bin.Stop;; 我撞车了。 虽然ocaml不会崩溃。 这是一个错误，还是有明显的理由表明这是非法的？(* SOTypeLevelNat.ml *) mo ...
rule1(250)应该返回125而是返回250 。 如何返回参数的更新值？ ...
尝试使用dune实用程序创建.cma文件（库）时遇到一些问题。 我有以下项目树： 例如， a.ml声明了一个非常简单的 function f 。 当我直接运行ocamlc -o a.cma -a a.ml ，然后启动utop a.cma时，我可以根据需要执行以下命令： 另一方面，在使用dune bu ...
我是 OCaml 的新手。 我在 MacOS 上安装了带有最新自制软件的 utop（版本 2.6.0），使用opam install core base安装了库。 这是我的.ocamlinit ： 我遇到了FI类型的错误： OCaml 中的FI类型是什么？ 以下是 TAPL 中引入的类型info ...
我正在阅读书籍类型和编程语言（ https://www.cis.upenn.edu/~bcpierce/tapl/ ）。 在它的第 4 章，算术表达式的 ML 实现中，它介绍了info 。 我在这里下载了它的 ocaml 源代码arith.tar.gz ： https://www.cis.upen ...
简单地说，假设我有一个名为moduleExample.ml的实现文件和一个位于同一目录中的名为moduleExample.mli的接口文件。 我怎样才能将它们一起加载，以使接口moduleExample.mli中未列出的功能从moduleExample.ml在utop的签名中隐藏？ 此外，如何通过 ...
在 OCaml 的 utop 中，我可以使用 alt+left 或 alt+right 在自动完成部分中移动，但是当我单击选项卡自动完成时，会使用第一个选择。 我该怎么办？ ...
我使用 vscode，扩展名为“OCaml and Reason IDE” 这是我在 utop 中的结果： 还有字符串： 除了 int 之外的任何东西都一样： “>”“<”也有同样的症状。 我不知道到底发生了什么。 谁能帮我吗？ 非常感谢！ ...
如何让 rtop 发现我的 src 文件目录？ 我找到了一个选项-I并希望rtop -I src会在 rtop 中加载我的 src 文件，但它仍然无法找到它们。 例如。 源代码/库.re： 运行命令： rtop -I src ...
当我在交互环境（ OCaml或utop ）中执行以下命令时，所有“int”类型的表达式都变成了“int/2”类型。 这种行为可以复制如下。 有谁知道为什么会这样？ 谢谢！ 2020 年 3 月 2 日编辑： 我发现如果我执行以下操作，“int/2”将不会出现。 谁能解释一下这里发生了什么？ ...
我正在尝试在 Utop 中使用 Float 模块，但是每当我尝试通过执行以下操作在 Utop 中打开它时： 我收到这个错误 我正在使用 OCaml 版本 4.05.0，Utop 版本 2.2.0（Utop 也在使用 4.05.0，以防万一） 无论如何要解决这个问题？ 谢谢。 ...
运行 在一个utop会话中大约需要8秒钟。 现在，如果我们跳到一个单独的 utop会话并运行 这大约需要13秒。 最后，让我们在同一会话中同时进行 第一种类型需要8秒，就像在单独的会话中一样，但是以前的13秒操作现在是3秒！ 这里发生了什么？ 我几乎不 ...