GADTを使用した場合のパフォーマンスの影響

Question

answering a question with a suggestion to use GADTsの場合、パフォーマンスに関するいくつかの質問がコメントに表示されました。質問は型クラスPlotValue関与：

class PlotValue a where 
    value :: a -> Double 

をし、私の答えは、GADT Inputを使うことを提案：

data Input where 
    Input :: (PlotValue a, PlotValue b) => Maybe a -> Maybe b -> Input 

が、詳細には、私は考え、軽微です。

私は、パフォーマンスの二つの側面について思ったんだけど：

時間： を

case x of 
    Input (Just a) (Just b) -> value a * value b 
    _ -> 0.0 

を超えると2 Maybeに一致する通常のコスト上記のようなパターンマッチによって生じたいかなるランタイムコストがあります値？

スペース： タイプInputの値がどのくらいのストレージのオーバーヘッドを運ぶのですか？私の推測では、タイプInput（それぞれ 'ポインター'？）のそれぞれの値について、の2つの辞書があり、[Input]は、(Just Double, Just Double)を使用するよりもメモリ使用量がはるかに非効率的であるか、 (# #Double, #Double #) - valueの結果を通常のまたは展開されていないタプルに格納する場合。

私はGADTが私に与える表現力が大好きですが、パフォーマンスの側面についてはこれまで考えていませんでした。誰も私にこれについてもっと教えてもらえますか？

Answer 1

私はオーバーヘッドを釘付けにしたと思います。存在する修飾された変数ごとに、対応する（ポインターへの）辞書が必要です。これはスペースを必要とし、悪化すると、メソッド呼び出しが遅くなります。あなたの例の（*）は間接関数呼び出しですが、Doubleの場合はプリミティブなopになります。