Haskellの効率的なオーバーロード

Question

以下の2つの戦略のうち、どれが関数のオーバーロードに最も効率的であるのだろうか（私の例では関数teX）。

dataとパターンマッチングを使用

1. ：

   data TeX 
       = TeXt String 
       | TeXmath String 
       deriving (Show,Read,Eq) 
   teX (TeXt t) = t 
   teX (TeXmath t) = "$$" ++ t ++ "$$" 
   

2. または抽象化のビットを使用して：

   class TeX t where 
       teX :: t -> String 
   
   newtype TeXt = TeXt String 
       deriving (Show,Read,Eq) 
   instance TeX TeXt where 
       teX (TeXt t) = t 
   
   newtype TeXmath = TeXmath String 
       deriving (Show,Read,Eq) 
   instance TeX TeXmath where 
       teX (TeXmath t) = "$$" ++ t ++ "$$" 
   

確かに最初は簡単に使いやすく且つ秒豊か;しかし、私は誰かが他のものよりも速く走るかどうか、あるいはHaskellがまったく同じ方法でそれらを実装するかどうか疑問に思います。

Answer 1

最初の方がスペース効率が良いです。型クラスで定義された関数を呼び出すことは、オブジェクト指向言語でメソッドを呼び出すのと同じです：タイプTeX tで多型である（つまり、型シグネチャにTeX t =>がある）関数は、余分な暗黙のパラメータすなわち与えられたインスタンスTeXのための特定のメソッドを格納している辞書です。

今、約速いですか？小さなメモリフットプリントを持つプログラムの場合、最初の方法は、メモリ割り当てが少なくて済み、実際にteX関数を呼び出すための間接化が少ないため、ほんの少し速いと思います。割当量の多いプログラムの場合、最初のバージョンが後でヒットするようなメモリ割り当てしきい値—にヒットするまで同じプログラムが保持され、2番目のヒットポイントがヒットするといくらか速くなります。