typeclassesに関連したランタイムのペナルティはありますか？

Question

タイトルはかなり私の質問を要約します：Haskellのtypeclassesに関連する実行時のペナルティがあるか、実行時の結果がまったくないもの（ファントム型のようなもの）ですか？

Answer 1

typeclassを必要とするのは、GHCでの嫌なことであるため、型クラスのメンバーを含む関数に余分な引数を渡すのと同じです。

GHCは、インライン化と型抜きを使用するコードを専門にしていますが、問題ではなく、非常に大きなパーセンテージの-O2が消えてしまうだけでなく、そのような最適化レベルがなくても議論はかなり安いです。

したがって、オーバーヘッドは、ファントム型またはnewtype以上のですが、あまり高くありません。

他のコンパイラのオーバーヘッドは異なる場合があります。例えばJHCは限定型の従属型を使用して型コンストラクタで事例分析を効果的に実行するため、JHCで作業する際の制約の数ではなく、制約型の変数の数を支払う必要があります。