GHC có tạo một bản sao mới của một đối tượng khi phá hủy và xây dựng lại nó không?

Question

Nếu tôi có một loại giống như data T = T Int String và một chức năng như vậy:

identity :: T -> T 
identity (T a b) = T a b 

Sau khi giải cấu trúc trong mô hình kết hợp, không GHC tạo ra một đối tượng T mới có chứa tham chiếu đến cùng Int và String? Hay nó trả về cùng một đối tượng chính xác (với cùng một địa chỉ bộ nhớ) mà nó nhận được? Tôi hiểu chúng tương đương về mặt ngữ nghĩa, tôi chỉ tò mò thôi.

Answer 1

Nói chung GHC sẽ phân bổ một giá trị mới thay vì sử dụng lại đối số trong tình huống đó. Trong trường hợp cụ thể này, bạn có thể viết một cái gì đó như

f :: T -> T 
f t@(T x y) = t 

để sử dụng lại một cách rõ ràng đối số. Thật không may, một trong các trường hợp bạn muốn thực sự muốn điều này -

fmap :: (a -> b) -> Either e a -> Either e b 
fmap f (Right x) = Right (f x) 
fmap f (Left x) = Left x 

- GHC sẽ phân bổ một giá trị mới Left, và bạn có thể không chỉ đơn giản là tái sử dụng các đối số, bởi vì kết quả có một kiểu khác nhau . Theo như tôi biết không có cách nào để nói với GHC sử dụng lại đối số trong trường hợp này ngoài unsafeCoerce.

Answer 2

Bạn có thể kiểm tra điều này một cách dễ dàng đủ với -ddump-simpl. Việc phân bổ giá trị của một ADT sẽ hiển thị như một ứng dụng của một hàm tạo dữ liệu.

Trong trường hợp này, GHC không nhận ra rằng nó có thể tái sử dụng các giá trị, và thậm chí nó không phải thực hiện các mô hình kết hợp:

module I where 

data T = T Int String 

identity :: T -> T 
identity (T a b) = T a b 

-

rwbarton@morphism:/tmp$ ghc -ddump-simpl I 
[1 of 1] Compiling I    (I.hs, I.o) 

==================== Tidy Core ==================== 
Result size of Tidy Core = {terms: 3, types: 3, coercions: 0} 

I.identity :: I.T -> I.T 
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType] 
I.identity = \ (ds_dHN :: I.T) -> ds_dHN 

này xảy ra ngay cả mà không bật tối ưu hóa và nó cũng hoạt động trên các ADT với nhiều hơn một hàm tạo.