過去に、Julien Signoles は をプログラムocamldefun
しました。このプログラムは、OCaml のソース コードにファンクターを使用し、ファンクターを使用せずに同等のプログラムを取得しました。これは、最適化、分析、およびその他の目的に役立ちます。
ocamldefun
もうメンテナンスされていないようです。同等のツールはありますか?
Markus Mottl は、コンパイル時に functor のインスタンス化を行うための camlp4 のトリックを示しました (いくつかの制限があります)。こちらをご覧ください