将OCaml转换为F#: 与F#规范相对应的OCaml版本，具体涉及初始化。

Question

在将OCaml 格式模块 转换为F#时，我发现我需要详细了解初始化过程。对于F#，在F#规范的12.5程序执行部分有详细说明。虽然OCaml文档页面列出了几篇好文章，但我无法找到任何一篇文章与F#规范中所述的同样详细。

是否有任何文档可以提供与OCaml初始化相应水平的详细信息？

- Guy Coder

---

最终，OCaml程序是一系列模块实现。模块的评估在OCaml手册的第6.11.2节中被描述（极其简要）。本质上，每个顶层形式依次进行评估。我猜你需要更多的细节，但我不知道该去哪里找。也许你有一个更具体的问题？ - Jeffrey Scofield

@JeffreyScofield 在问题的道路上可能会有更具体的问题，但目前我甚至无法明确这个问题。当我在这里发布这些半理解的问题时，它们只会给回答者带来负担。我发现在提问之前尽可能进行多项研究对我更有益处。 - Guy Coder

我认为你最好的选择是http://caml.inria.fr/pub/docs/manual-ocaml-4.00/language.html - 评估顺序大多是自上而下，从左到右，但在核心语言中有一些值得注意的例外情况（例如，元组或记录组件），其中未指定。模块语言则更少出现意外情况。 - t0yv0

当我最初进行研究并提出这个问题之前，我无法在文档中找到所需的信息。获取关于初始化所需的详细信息的唯一方法是阅读源代码。 - Guy Coder

Answer 1

简而言之，像F#那样有OCaml的规范手册吗？没有。

我今天花了一个小时来寻找，但仍然找不到。我搜索了一下，查看了一些OCaml邮件列表，并查看了OCaml网站上的所有文档。OCaml邮件列表中的其他人也注意到缺少OCaml规范手册。

总之，如果有人在这里回答并提供类似于F#规范手册的OCaml规范手册的参考资料，那么我将很乐意给他们接受票。

- Guy Coder

Answer 2

关于OCaml模块初始化，我无法提供任何信息，但是作为我的FSharp.Compatibility项目的一部分，我将Format模块移植到了F#。如果您想看一下，可以在这里找到：

https://github.com/jack-pappas/FSharp.Compatibility/tree/master/FSharp.Compatibility.OCaml.Format

- Jack P.