2013-04-05 13 views
3

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

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

+0

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

+0

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

回答

4

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

+0

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