UNPACKs lồng nhau trong GHC

Question

Tôi thường thu thập nhiều giá trị trong bộ dữ liệu, vì tôi coi tuples là loại tự nhiên cho điều này. Tuy nhiên, tuples không nghiêm ngặt. Vì vậy, hãy xem xét

data A 

data B = 
    B !A 

data C = 
    C !(B, B) 

data D = 
    D !B !B 

Với -funbox-strict-fields và tối ưu hóa, UNPACK được lồng vào nhau. Bộ tách trong số C có được mở thành C A A như với D hoặc chỉ C B B không? Đây là tài liệu tham khảo trong GHC-doc: 7.16. Pragmas.

(là các tuple không trống loại kiểu nhà xây dựng?)

Answer 1

xem xét:

data B = B !Int 

data C = C !(B, B) 

data D = D !B !B 

b0 = B 7 
b1 = B 4 

c = C (b0, b1) 

d = D b0 b1 

nơi

data (,) a b = (a,b) 

GHC sẽ hạnh phúc Erase lồng nhau, nhà xây dựng nghiêm ngặt (!B), và nó sẽ làm cho C nghiêm ngặt trong lĩnh vực đầu tiên của nó, tối ưu hóa:

b0 = B 7 
b1 = B 4 

c = C b0 b1 

d = D 7 4 

Tuy nhiên, quan trọng là các trường (,) không chính xác - vì vậy GHC không thể giải nén chúng. Hơn nữa, chúng đa hình, vì vậy nó không thể giải nén chúng ngay cả khi chúng nghiêm ngặt.

Một công việc xung quanh cho phần đầu tiên là sử dụng các bộ dữ liệu nghiêm ngặt. Cách giải quyết cho phần thứ hai là sử dụng self-specializing tuples (ví dụ: nhập các gia đình chuyên về bộ dữ liệu).

---

Lưu ý rằng việc sử dụng các bộ dữ liệu cho cú pháp theo kiểu này phát sinh chi phí - chúng giới thiệu mức độ thụ động cần được tối ưu hóa. Như vậy, nó là hơi unidiomatic.