解析器为OCaml

Question

任何人都可以推荐我一个开源的完整OCaml解析器吗？

本质上，我想为OCaml实现我自己的类型检查器。理想情况下，解析器是用OCaml编写的。我只是用它来获取输入程序的AST。 （要求预先填充标准库函数签名的初始打字环境可能太多了）

Answer 1

使用compiler-lib与012am下的OCaml一起分发。它拥有创建自己的编译器所需的一切（甚至有some documentation）。 compiler-lib本质上是一个作为库提供的编译器。

否则，您可以使用camlp4来获取分析树，但是您需要从头开始重新实现其他所有功能。但在这种情况下，您不会受限于QPL。

Answer 2

它可能是过分的要求最初定型环境预填充标准库函数签名

它不是！请参阅文件typing/predef.ml(i)。

至于stdlib，除了使用Predef中的值的普遍使用的编译器，其余部分是正常的OCaml代码，没有任何特殊情况（显然除了bootstraping）。