OCaml的Defunctorizer

過去，Julien Signole編程了ocamldefun，這個程序將OCaml源代碼與函子合併在一起，並獲得了一個沒有函子的等價程序。這對優化，分析和其他目的很有用。OCaml的Defunctorizer

看起來ocamldefun不再維護。是否存在一些等效的工具？

我不確定要重新實現這樣的東西會有多少工作 - 也許不會那麼多。不過，我想知道動機是什麼，因爲在F＃上運行Coq程序並不是一個非常令人興奮的視角。 – gasche 2013-04-06 05:34:49

我有很好的理由想要在F＃中運行Coq程序。 :-) – 2013-04-06 05:51:30

Markus Mottl展示了一個camlp4技巧來編譯時仿函數實例化（有一些限制）。看一看here

2013-04-05 19:20:27 rgrinberg

太糟糕了，它不能跨模塊工作。 :-( – 2013-04-05 20:36:14

回答