하스켈의 효율적인 오버로딩

Question

다음 두 가지 전략 중 어떤 것이 함수 오버로드에 가장 효율적인지 궁금합니다 (필자의 예제에서는 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 ++ "$$" 
   

반드시 처음 사용하기 쉽다는 및에 대한 두 번째 쉽게 높이다; 하지만 하나가 다른 것보다 빠르게 실행되는지 또는 하스켈이 정확히 같은 방식으로 구현하는지 궁금합니다.

Answer 1

첫 번째 공간이 더 효율적입니다. 유형 클래스에 정의 된 함수를 호출하는 것은 객체 지향 언어로 메소드를 호출하는 것과 같습니다. 유형이 TeX t 인 다형성 (즉, 유형 시그니처에 TeX t =>이 있음)의 함수는 추가 암시 적 매개 변수 즉 TeX의 주어진 인스턴스에 대한 특정 메소드를 저장하는 사전.

이제 약 더 빠릅니까? 작은 메모리 사용 공간을 가진 프로그램의 경우 첫 번째 방법은 실제로 메모리 할당이 적어지기 때문에 조금 더 빠르며 실제로는 teX 함수를 호출하는 간접적 인 방법이 없다고 생각합니다. 할당이 많은 프로그램의 경우 프로그램이 일부 메모리 할당 임계 값 —에 도달 할 때까지 동일한 값이 유지되고 따라서 첫 번째 버전은 나중에 히트됩니다. 따라서 두 번째 히트가 해당 점에 도달하면 다소 빠릅니다.