Co robi pragma UNPACK, w tym przypadku?

Question

Mam problem ze zrozumieniem, jak działa UNPACK w Haskell. Rozważmy, na przykład, następujące deklaracje danych:

data P a b = P !a !b 
data T = T {-# UNPACK #-} !(P Int Int) 

Jak dataType T być rozpakowane? Będzie to równoznaczne z

data T' = T' !Int !Int 

lub będzie Int e być dalej rozpakowaniu:

data T'' = T'' Int# Int# 

? A co powiesz na:

data U = U {-# UNPACK #-} !(P Int (P Int Int)) 

?

Answer 1

GHC documentation opisuje UNPACK pragmy następująco:

UNPACK wskazuje kompilator, które powinny rozpakować zawartość pola konstruktora do samego konstruktora usuwania poziom pośredni.

---

Jak dataType T być rozpakowane?

data T = T (P Int Int) odpowiada

Dlatego data T = T {-# UNPACK #-} !(P Int Int) odpowiada

Mówiąc wprost, UNPACK jest rozpakowaniu zawartości konstruktora P w polu konstruktora T, usuwając jeden poziom pośredni i jeden nagłówek konstruktora (P).

data T = T {-# UNPACK #-} !(P Int Int) nie jest tak "compact" jak data T'' = T'' Int# Int#:

---

Co

data U = U {-# UNPACK #-} !(P Int (P Int Int)) 

?

Podobnie data U = U (P Int (P Int Int)) odpowiada

i data U = U {-# UNPACK #-} !(P Int (P Int Int)) odpowiada

Mówiąc wprost, UNPACK jest rozpakowaniu zawartości konstruktora P w polu konstruktora U , usuwanie jednego poziomu pośredniego i jednego nagłówka konstruktora (P).

Resources

• GHC manual (section 7.22)
• Johann Tibell's ZuriHac 2015 slides