问题标签 [utop]

我必须开始学习 OCaml 语言。

为了在家练习，我们必须按照我们大学制作的教程安装一些设备。由于我们在学校使用 Debian，所以当我必须在家里使用 Windows 时，情况有点不同，我来了：我无法正确运行这些工具。

我们必须通过官方网站安装 OCaml。完成后，我运行“Cygwin64 Terminal”并输入以下命令：

它已成功完成。但是，当我尝试通过其命令运行 utop 时，我收到以下消息：

“utop.exe：GetConsoleScreenBufferInfo：错误的文件描述符”

我哪里失败了？我需要做什么？

我想我必须以某种方式编辑我的 ~/.lambda-term-inputrc 文件，但我不知道要在其中写什么。

当我输入#require "时utop，每次我在后面输入一个额外的字符时都会收到此消息"。

包导入似乎不起作用。utop我尝试通过重新安装，opam但错误仍然存​​在。有人知道可能出了什么问题吗？

我很困惑为什么 Lwt 打印函数Lwt_io.print有类型 string -> unit Lwt.t 但是如果我运行Lwt_io.print "a" >>= fun () -> Lwt_io.print "b";;结果是打印“ab”并返回类型单位。

我想这将是一个类型错误，因为 Lwt_io.print 返回单位 Lwt.t 而不是单位。为什么调用线程的第二部分？

在 utop 中出现语法错误

然而，

才不是

跑步

在一个 utop 会话中大约需要 8 秒。

现在，如果我们跳到一个单独的utop 会话并运行

这大约需要 13 秒。

最后，让我们在同一个会话中做这两个

第一种和单独会话一样需要 8 秒，但之前的 13 秒操作现在是 3 秒！这里发生了什么？

我对 OCaml 对类型所做的所有工作知之甚少。也许它能够通过一些智能缓存从 2 表达式树构造 4 表达式树？

还是更精细的东西？

例如，由于我的自定义类型在这两种情况下都有递归组件，它是否检查是否expression_1并expression具有某种“结构”相似性？随着编译器在程序中注释和统一类型，当它遇到新类型时可能有几个选项（不是双关语）：它是否使用显式预定义的类型，这些类型被注释为推断手头类型的线索，还是它会遍历它知道的类型，然后是我定义的自定义类型？

编译器是否最初评估某种类型，然后提出一个表示来检查它是否是某种类型？在这个例子中，是不是将所有...的递归结构构造expression * expression成一棵树？

我真的不知道，但我想知道！

我有一个使用extliband的项目base64。dune在构建过程中使用。构建工作正常，但是当我尝试运行时dune utop，我收到以下消息：

这似乎是一个已知问题。在extlib页面上，它base64 < 2.0.0列为冲突，这意味着以后的版本不应该冲突（我有 version 3.2.0）。有什么我想念的吗？用这两个包构建自定义顶层是不可行的吗？谢谢你的帮助！

如何打印我在utop会话期间定义的变量列表？

例如，在其他解释器中有真正有用的等价物，例如。在 Rls()或 octave/matlabwho

我正在尝试在 Utop 中使用 Float 模块，但是每当我尝试通过执行以下操作在 Utop 中打开它时：

我收到这个错误

我正在使用 OCaml 版本 4.05.0，Utop 版本 2.2.0（Utop 也使用 4.05.0，以防万一）

无论如何要解决这个问题？谢谢。