3

過去に、Julien Signoles は をプログラムocamldefunしました。このプログラムは、OCaml のソース コードにファンクターを使用し、ファンクターを使用せずに同等のプログラムを取得しました。これは、最適化、分析、およびその他の目的に役立ちます。

ocamldefunもうメンテナンスされていないようです。同等のツールはありますか?

4

1 に答える 1

4

Markus Mottl は、コンパイル時に functor のインスタンス化を行うための camlp4 のトリックを示しました (いくつかの制限があります)。こちらをご覧ください

于 2013-04-05T19:20:27.140 に答える