Che cosa fa il pragma di UNPACK, in questo caso?

Question

Ho difficoltà a capire come funziona UNPACK in Haskell. consideri, ad esempio, le seguenti dichiarazioni di dati:

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

Come sarà DATATYPE T essere disfatto? Sarà equivalente a

data T' = T' !Int !Int 

o saranno le Int s essere ulteriormente decompresso:

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

? Che dire di

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

?

Answer 1

Il GHC documentation descrive la UNPACK pragma come segue:

La UNPACK indica al compilatore che dovrebbe decomprimere il contenuto di un campo costruttore al costruttore stesso, eliminando un livello di riferimento indiretto.

---

Come sarà DATATYPE T essere imballati?

data T = T (P Int Int) corrisponde

Pertanto, data T = T {-# UNPACK #-} !(P Int Int) corrisponde

In parole semplici, UNPACK ha decompresso il contenuto del costruttore P nel campo della costruzione T, rimuovendo un livello di riferimento indiretto e un'intestazione del costruttore (P).

data T = T {-# UNPACK #-} !(P Int Int) non è così "compatto", come data T'' = T'' Int# Int#:

---

Che dire

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

?

Analogamente, data U = U (P Int (P Int Int)) corrisponde

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

In parole semplici, UNPACK ha decompresso il contenuto del costruttore P nel campo della costruzione U , rimuovendo un livello di riferimento indiretto e un'intestazione del costruttore (P).

Risorse

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