Que fait le pragma UNPACK, dans ce cas?

Question

J'ai de la difficulté à comprendre comment fonctionne UNPACK à Haskell. Tenir compte, par exemple, les déclarations de données suivantes:

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

Comment va type_données T être déballés? Sera-ce équivalent à

data T' = T' !Int !Int 

ou seront les Int s être plus décompressée:

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

? Qu'en est-il de

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

?

Answer 1

Le GHC documentation décrit la UNPACK pragma comme suit:

Le UNPACK indique au compilateur qu'il doit décompresser le contenu d'un champ constructeur dans le constructeur lui-même, la suppression d'un niveau d'indirection.

---

Comment va type_données T être déballés?

data T = T (P Int Int) correspond à

Par conséquent, data T = T {-# UNPACK #-} !(P Int Int) correspond à

En clair, UNPACK a décompressé le contenu du constructeur P dans le champ du constructeur T, supprimant un niveau d'indirection et un en-tête de constructeur (P).

data T = T {-# UNPACK #-} !(P Int Int) est pas "compact" comme data T'' = T'' Int# Int#:

---

Qu'en est-

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

?

De même, data U = U (P Int (P Int Int)) correspond à

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

En clair, UNPACK a décompressé le contenu du constructeur P dans le champ du constructeur U , supprimant un niveau d'indirection et un en-tête de constructeur (P).

Ressources

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