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

Question

在 ocaml 工作时或 ghci顶层我经常为需要更好的词、值绑定(bind)、函数、加载的模块等建立一个重要的“上下文”。有没有办法保存所有这些并在以后重新加载，这样我就可以从我离开的地方继续？或者更好的是，将整个文件作为文本文件转储出来，可以重新加载或修改成可以编译成可执行文件的代码(例如，通过添加 Main)？

Answer 1

HOL light的用户有类似的需求，他们使用检查点程序来保存顶层的快照。见 this message在 caml 邮件列表或 this HOL tutorial 的第 8 页上.

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

When developing large proofs in HOL, you should always keep the proof script as an OCaml file ready to reload, rather than relying on ckpt. This will allow the proofs to be later modified, used by others etc. However, it can be very convenient to make intermediate snapshots so you do not have to load large files to work further on a proof. This is analogous to the usual situation in programming: you should always keep your complete source code, but don’t want to recompile all the sources each time you use the code.