我的理解是，Int 值是指向 thunk（双重间接）的指针，而未装箱的 Int# 只是指向 32/64 位 int 的指针。那是对的吗？指针如何对它引用未装箱值的事实进行编码？
Haskell standard 声明 Int 是“至少具有 [-2^29 .. 2^29-1] 范围的固定精度整数类型”。 GHC 中是否有一些优化，其中这些额外的位用于消除间接性？
【问题讨论】：
GHC documentation 有一些很好的信息。但基本上，您说 Int 值是指向 thunk 的指针是正确的。但是，未装箱值不是指向未装箱值的指针，它是未装箱值本身。此外，Haskell 标准报告仅给出了Int 范围的下限。 IIRC、GHC Int 有超过 30 位。
我不认为 GHC 使用未装箱类型的额外位来存储任何元数据，但它确实使用指针位来这样做。有关详细信息，请参阅this 页面。
【讨论】：
Int 往往是 32 位（例如：在 x86 系统上）或 64 位（例如：在 x86_64 上）。如果 29、32 和 64 位 Ints 之间的区别很重要，那么用户应该利用 Int32、Int64 或 Integer。
Int#，并且是二等公民（例如，您不能将它传递给多态函数直接，因为多态函数需要一个装箱的值）。
data Foo = Foo {-# UNPACKED #-} !Int —— 它也将被拆箱存储，直接作为 Foo 值的一部分。但是 GHC 会在必要时透明地装箱和拆箱，因此您通常不必担心这一点。 （并且该信息在编译时再次为人所知。）