OCamlのモジュールとパフォーマンス

Question

、一部の機能はOCamlの（リストから例えば、マップ）で実装するのは本当に簡単ですが、あなたはOCamlのライブラリのマップを使用することがあります。List.map

しかし、我々はどのコードを疑問に思うことができますより効率的になります。別のコンパイル単位（ライブラリ）のモジュールを呼び出すと、いくつかの最適化が無効になることがあります。ニュースグループfa.camlで、ライブラリから関数を呼び出すときにクロージャが使用されることを読んでいます。

私は、ジェネリックプログラミングを行うためにモジュールとFunctorsを使用するOCamlコードを本番環境に用意しています。歴史的な理由から、私のコードは単一のファイルにまとめられています。今私はもっと時間があります、私はコードをそのようなモジュールのためのファイルに分けていきたいと思います。しかし、私はそれを正しくするために私がしばらくかかったので、私はパフォーマンスを失うことができます恐れている。たとえば、複雑なオブジェクトを数値でラップするモジュールがあるので、一意の表現と高速比較を実行します。私はラップされたオブジェクトを一般的なマップ、セット、およびキャッシュを使ってそれらを使用します。

質問は次のとおりです。

• 私は別のファイルに移動した場合の性能を失うつもりですか？
• OCamlはモジュール、ファンクタなどでコード全体を最適化していますか？

C++では、クラスメソッドを.hに定義すると、コンパイラが短いメソッドなどをインライン展開することになります。OCamlで分離されたファイルを使用してこれを実現することは可能ですか？

Answer 1

パフォーマンスが低下することがあります。しかし、2つの問題を緩和する要因がある：

• コードがカップル警告と（たとえ別のコンパイルユニットにわたってインライン化することが可能であるので、OCamlのネイティブコードコンパイラは、クロスモジュールのインライン化を行うことができます - 再帰関数と関数の引数はモジュール[1]にインライン化されません）。
• コードはまだ十分に高速である可能性が高く、可読性と保守性の向上はパフォーマンス上のコストを大幅に上回る可能性があります。

OCamlは、同じソースファイルでファンクタが定義されているコードをデパンクチャリングするかどうか分かりません。もしそうでなければ、モジュールは、すでにファンクタによって被ったパフォーマンスヒットを上回らないようにするべきです。

一般的には、わかりやすく読みやすくメンテナンス可能なコードを書いて、コードが実際には遅すぎると判明しない限り、このような微視的な性能特性についてあまり心配する必要はありません。