Haskell'de etkin bir aşırı yükleme

Question

Aşağıdaki iki stratejiden hangisinin bir işlevi aşırı yüklemek için en etkili yol olduğunu merak ediyorum (buradaki örnekte bu fonksiyon teX). data ve desen eşleştirme kullanarak

1. :

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

2. Veya soyutlama biraz kullanılarak:

   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 ++ "$$" 
   

Şüphesiz ilk kullanımı kolaydır ve ikinci daha kolay zenginleştirmek; ama merak ediyorum, biri diğerinden daha hızlı koşarsa ya da Haskell onları aynı şekilde uygularsa.

Answer 1

İlki daha fazla alan verimli. Bir tip sınıfında tanımlanan bir işlevi çağırmak, nesne yönelimli bir dilde bir yöntemi çağırmakla eşdeğerdir: TeX t türünde polimorfik olan tüm işlevler (ör., Tip imzasında TeX t => vardır) ek, örtük bir parametre taşımak zorunda kalacaktır. Örneğin, belirli bir örnek için TeX belirli bir yöntemi saklayan bir sözlük.

Şimdi, daha hızlı? Küçük bir bellek ayak izi olan programlarda, daha az bellek tahsisi ve teX işlevini gerçekten çağırmak için daha az dolaylı olarak ilk yol marjinal olarak daha hızlıdır. Atama-ağır programlar için, program, ilk versiyonun daha sonra vuracağı bir bellek ayırma eşiği —'a ulaşana kadar aynı tutacaktı ve bu yüzden bu noktaya varan bir kere daha hızlı olacaktır.