保存我正在运行的顶层供以后使用

Question

在 ocaml 或 ghci 顶层工作时，我经常会构建一个重要的“上下文”，以解决需要更好的单词、值绑定、函数、加载的模块等的问题。有没有办法保存所有这些并稍后重新加载，以便我可以从上次中断的地方继续？或者更好的是，将整个文件转储为一个文本文件，可以重新加载或简单地修改为我可以编译为可执行文件的代码（例如通过添加 Main）？

Answer 1

HOL light 的用户也有类似的需求，他们使用检查点程序来保存顶层的快照。请参阅 caml 邮件列表上的此消息，或此 HOL 教程的第 8 页。

一般来说，最好将定义保留为源代码，而不是二进制顶级快照。许多工具允许将 .ml 文件快速加载到顶层以方便实验（emacs 模式等）。请参阅 HOL 教程中的警告：

在 HOL 中开发大型证明时，您应该始终将证明脚本保留为
准备重新加载的 OCaml 文件，而不是依赖 ckpt。这将允许证明
以后可以修改，被其他人使用等。但是，制作起来可以非常方便
中间快照，因此您不必加载大文件即可进一步处理证明。
这类似于编程中的常见情况：你应该始终保持你的
完整的源代码，但不想每次使用时都重新编译所有源代码
代码。

Answer 2

至少在 OCaml 中没有对此的内置支持。解决方案是使用 rlwrap 或任何其他 readline 包装器将您的输入历史记录记录到一个文件。例如：

> rlwrap -H mysession.ml ocaml

缺点是这还会记录有语法错误的输入，因此您必须将其清除。请注意，默认情况下，如果您在不使用 -H 选项的情况下调用 rlwrap，它会自动将您的输入保存在 ~/.ocaml_history 中。

Answer 3

在 Haskell 中，只需使用 :e file 即可。这将打开标准编辑器并允许您编辑一些文件。然后，使用 :r 重新加载它。它将自动重新编译。

请注意，此后所有“临时”定义的函数都将丢失。请参阅文档以获取更多信息。

Answer 4

ghci 使用 haskeline 作为命令行输入历史记录，因此您可以向上滚动以重复/编辑输入。您的输入历史记录通常记录在一个文件中，您可以在给定的目录中找到该文件，该文件为 ghci_history

System.Directory.getAppUserDataDirectory "ghc"

有多种命令可以探索“上下文”（:show绑定、:show模块、:def、 ..）但它们的输出不足以重现您的会话（尽管无论如何都值得了解它们）。

一般来说，将 ghci 会话与打开的编辑器窗口结合起来的建议是合理的：如果它不仅仅是一次性定义，即使只是为了调试目的，最好将其包含在要加载的模块中到 ghci 中，以便您可以重用它。

哦，如果“上下文”是指您想要加载的一些默认设置或模块，那么在每个项目的基础上，还有 ghci 的 配置文件。也可以方便地定义您自己的 ghci 命令。

Answer 5

在ocaml中，您可以构建自己的顶层。它至少解决了加载模块的问题。

http://caml.inria.fr/pub/docs/手册-ocaml/toplevel.html#sec278

ocamlmktop 命令构建包含用户代码的 OCaml 顶层
在启动时预加载。

ocamlmktop 命令采用一组 .cmo 和 .cma 文件作为参数，
并将它们与实现 OCaml 的目标文件链接
顶层。典型用途是：

<预><代码> ocamlmktop -o mytoplevel foo.cmo bar.cmo gee.cmo

这将创建字节码文件 mytoplevel，其中包含 OCaml
顶层系统，加上三个 .cmo 文件中的代码。这
toplevel 是直接可执行的，并通过以下方式启动：

<前><代码> ./mytoplevel

这会进入一个常规的顶级循环，除了来自的代码
foo.cmo、bar.cmo 和 gee.cmo 已经加载到内存中，就像
您输入了：

 #load "foo.cmo";;
    #加载“bar.cmo”;;
    #加载“gee.cmo”;;

在顶层入口处。 Foo、Bar 和 Gee 模块不是
不过，打开了；你还需要做

 打开 Foo;;

你自己，如果这是你想要的。

Answer 6

这也一直困扰着我，所以我写了一个快速的 python/expect 脚本 来在每个 ghci 会话开始时重播 ghci_history。

它不是很精致。例如，它总是重播整个历史记录，这可能会很慢。