가능한 경우 GHC가 다형성 간접 참조를 제거합니까?

Question

showInt :: Int -> String 
showInt x = show x 

는 위의 코드가 Int 사전을 통과 show를 호출하거나 Show Int 인스턴스에서 선언 된 함수를 직접 호출 않습니다합니까?

GHC는 가능한 경우 생성 된 코드에서 GHC가 다형성 간접 참조를 제거합니까?

Answer 1

예.

당신이 볼 수 있듯이

Foo.showInt :: GHC.Types.Int -> GHC.Base.String 
[... attributes omitted ...] 
Foo.showInt = GHC.Show.$fShowInt_$cshow 

, 그것은 GHC.Show.$fShowInt_$cshow 단지 직접 참조입니다 :이 GHC 7.4.2을 사용하여 생성 된 핵심입니다. 유추 유형 Show a => a -> String 대신 사용되도록

우리는 유형 서명을 제거하면 어떻게되는지와 비교 :

여기

Foo.showInt 
    :: forall a_aop. GHC.Show.Show a_aop => a_aop -> GHC.Base.String 
[... attributes omitted ...] 
Foo.showInt = 
    \ (@ a_aot) ($dShow_aou :: GHC.Show.Show a_aot) (x_a9Z :: a_aot) -> 
    GHC.Show.show @ a_aot $dShow_aou x_a9Z 

, 그것은 사전 인수 $dShow_aou을 취하며 를 조회하기 위해 접근 기능 GHC.Show.show를 사용 결과 함수를 인수 x_a9Z에 적용하기 전에이 사전에서 적절한 함수.

첫 번째 경우에는 최소한 개념적으로, 구체적인 유형이 알려지기 때문에 GHC는 적절한 인스턴스 사전을 인수로 사용하지 않고 직접 참조를 삽입합니다. 기본적으로 레코드 레이블 인 접근자는 인라인 될 수 있으며 적절한 함수를 직접 참조하여 으로 남습니다.

Answer 2

GHC는 그렇게하지 않습니다. 일기 좋게하기위한 새로운 창조 형 생각해 GHC이 같은 함수에서 Polymorphicism을 제거 할 경우

type Vector = (Float, Float) 

가 :

(!+!) :: Vector -> Vector -> Vector 
(x1, y1) !+! (x2, y2) = (x1 + x2, y1 + y2) 

유형이 될 것입니다 :

(!+!) :: (Float, Float) -> (Float, Float) -> (Float, Float) 

을 함수, 표준이지만 Vector의 경우.