haskell - 在这种情况下，UNPACK 编译指示做什么？

Question

我很难理解 UNPACK在 haskell 工作。
例如，考虑以下数据声明:

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

数据类型如何 T被拆包？是否相当于

data T' = T' !Int !Int

或将 Int s 进一步解包:

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

?关于什么

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

?

Answer 1

GHC documentation描述 UNPACK编译指示如下:

The UNPACK indicates to the compiler that it should unpack the contents of a constructor field into the constructor itself, removing a level of indirection.

How will datatype T be unpacked?

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# 那样“紧凑” :

What about

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)。

资源

GHC manual (section 7.22)

Johann Tibell's ZuriHac 2015 slides