GHC có loại bỏ sự đa hướng đa hình khi có thể không?

Question

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

Liệu các mã trên gọi show đi qua các từ điển Int hay nó gọi trực tiếp các chức năng công bố trên Show Int dụ?

Ý tôi là, GHC có loại bỏ sự đa hướng đa hình khỏi mã được tạo khi có thể không?

Answer 1

Có. Đây là lõi được tạo bằng GHC 7.4.2:

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

Như bạn có thể thấy, đây chỉ là tham chiếu trực tiếp đến GHC.Show.$fShowInt_$cshow.

Hãy so sánh với những gì sẽ xảy ra nếu chúng ta loại bỏ các chữ ký kiểu để các suy ra loại Show a => a -> String được sử dụng thay vì:

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 

Ở đây, phải mất một cuộc tranh luận từ điển $dShow_aou và nó sử dụng các chức năng accessor GHC.Show.show nhìn lên chức năng thích hợp từ từ điển này trước khi áp dụng hàm kết quả cho đối số x_a9Z.

Điều gì xảy ra trong trường hợp đầu tiên, ít nhất là về mặt khái niệm, vì loại bê tông được biết, GHC chèn tham chiếu trực tiếp vào từ điển thể hiện thích hợp thay vì dùng nó làm đối số. Sau đó, người truy cập, về cơ bản chỉ là một hãng thu âm, có thể được gạch chân và bạn để lại với một tham chiếu trực tiếp đến hàm thích hợp.

Answer 2

GHC không làm điều đó. Hãy nghĩ về một kiểu tạo mới cho readibility:

type Vector = (Float, Float) 

Nếu GHC sẽ loại bỏ Polymorphicism từ một chức năng như:

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

Các loại sẽ trở thành:

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

Trong khi chức năng là ment cho riêng của Vector.