Haskell中Int类型标准范围为何是[-2^29; 2^29)？为何选30位？

Haskell 2010标准里规定Int的最小保证范围是[-2²⁹, 2²⁹)，这个选择核心是跨平台高效性和运行时实现约束的平衡，具体原因如下：

• 标记指针的运行时需求
  Haskell的垃圾回收（GC）运行时普遍使用「标记指针」（tagged pointers）区分不同类型的值：比如在32位系统中，指针是4字节对齐的，最低两位始终为00。运行时会利用这两位做类型标记——比如用01标记未装箱的整数，10标记代数数据类型的构造函数等。这样整数可以直接存储在指针的高位30位中，不需要额外内存分配（装箱），大幅提升性能，30位宽度正好对应[-2²⁹, 2²⁹)的范围。

• 跨平台兼容性
  标准制定阶段，32位和64位架构都是主流。64位系统能轻松容纳30位整数范围，但32位系统的标记指针机制限制了可用整数位为30位。选择这个范围作为最低保证，确保所有符合标准的Haskell实现都能在主流平台上高效实现Int类型，无需为小整数额外装箱。

• 范围与实用性的平衡
  29位的范围（[-2²⁸, 2²⁸)）太小，日常使用中容易溢出；而直接要求32位范围的话，32位系统无法通过标记指针实现无装箱的Int，必须牺牲性能。30位的范围（约±5亿）足够覆盖绝大多数普通编程场景，同时兼顾了性能和跨平台一致性。

需要注意的是，实际Haskell实现（比如GHC）在64位系统中会把Int实现为64位整数，范围远大于标准的最低要求——标准只规定了必须支持的最小范围，具体实现可以提供更大的宽度。

内容的提问来源于stack exchange，提问作者Artem Yu