Fatal编程技术网

OCaml去纤器

ocaml

OCaml去纤器,ocaml,functor,Ocaml,Functor,在过去，Julien Signoles编程了ocamldefun，这是一个使用带有函子的OCaml源代码并获得不带函子的等效程序的程序。这对于优化、分析和其他目的非常有用 似乎不再维护ocamldefun。是否存在一些等效的工具？Markus Mottl展示了一个camlp4技巧来进行编译时函子实例化（有一些限制）。看一看我不确定重新实现这样的东西需要做多少工作——也许没有那么多。不过，我想知道动机是什么，因为在F#上运行Coq程序不是一个非常令人兴奋的观点。我有很好的理由想在F#上运行Coq程

在过去，Julien Signoles编程了
ocamldefun
，这是一个使用带有函子的OCaml源代码并获得不带函子的等效程序的程序。这对于优化、分析和其他目的非常有用

似乎不再维护
ocamldefun
。是否存在一些等效的工具？

Markus Mottl展示了一个camlp4技巧来进行编译时函子实例化（有一些限制）。看一看

我不确定重新实现这样的东西需要做多少工作——也许没有那么多。不过，我想知道动机是什么，因为在F#上运行Coq程序不是一个非常令人兴奋的观点。我有很好的理由想在F#上运行Coq程序。确实如此。：-）