Мне трудно понять, как UNPACK работает в Haskell.
Рассмотрим, например, следующие объявления данных:
data P a b = P !a !b
data T = T {-# UNPACK #-} !(P Int Int)
Как будет распаковаться datatype T? Будет ли это эквивалентно
data T' = T' !Int !Int
или дальнейшая распаковка Int:
data T'' = T'' Int# Int#
? Что насчет
data U = U {-# UNPACK #-} !(P Int (P Int Int))
?
Документация GHC описывает прагму UNPACK следующим образом:
UNPACKуказывает компилятору, что он должен распаковать содержимое поля конструктора в сам конструктор, удалив уровень косвенности.
Как будет распаковаться datatype
T?
data T = T (P Int Int) соответствует
Следовательно, data T = T {-# UNPACK #-} !(P Int Int) соответствует
На простом английском языке UNPACK распаковал содержимое конструктора P в поле конструктора T, удалив один уровень косвенности и один заголовок конструктора (P).
data T = T {-# UNPACK #-} !(P Int Int) не является "компактным" как data T'' = T'' Int# Int#:
Что насчет
data U = U {-# UNPACK #-} !(P Int (P Int Int))?
Аналогично, data U = U (P Int (P Int Int)) соответствует
и data U = U {-# UNPACK #-} !(P Int (P Int Int)) соответствует
На простом английском языке UNPACK распаковал содержимое конструктора P в поле конструктора U, удалив один уровень косвенности и один заголовок конструктора (P).