Haskell大数组导致GHC编译失败的解决咨询

1. 什么是分页文件？ #

分页文件（Windows系统中称为虚拟内存页面文件）是硬盘上预留的一块存储空间，当物理内存（RAM）不足以容纳当前运行的所有数据时，系统会将部分暂时闲置的内存数据转移到分页文件中，以此扩展可用内存的总容量。错误码1455明确表示当前分页文件空间不足，导致系统无法完成内存提交操作。

2. 这是内存不足导致的吗？ #

是的。GHC在编译过程中会占用大量内存，尤其是处理大数组初始化逻辑时——你创建的512×512=262144个复数数组，即便使用未装箱数组，编译阶段GHC仍会将数组的初始化相关数据加载到内存中，再加上编译器自身的运行开销，最终超出了物理内存与分页文件的总可用容量。

3. 编译阶段的临时解决方法 #

• 扩大Windows分页文件：
  1. 右键「此电脑」→ 属性 → 高级系统设置 → 高级 → 性能 → 设置 → 高级 → 虚拟内存 → 更改
  2. 取消勾选「自动管理所有驱动器的分页文件大小」，选中系统盘（通常为C盘），选择「自定义大小」
  3. 初始大小建议设为物理内存的1.5倍，最大值设为物理内存的3倍（例如8GB内存对应初始12288MB、最大24576MB），点击「设置」后重启电脑
• 限制GHC堆内存：
  执行stack build时添加参数：

  stack build --ghc-options "-H1G"
  

  其中-H1G表示限制GHC堆内存为1GB，可根据实际内存情况调整数值。也可以在项目的stack.yaml中全局配置：

  ghc-options:
    "*": -H1G
  

• 延迟数组初始化：
  不要在编译阶段硬编码数组数据，改为程序运行时动态生成。例如将数组初始化逻辑放入main函数，或使用unsafePerformIO（需谨慎）在运行时生成数组，这样编译阶段GHC无需处理整个数组的初始化数据，大幅降低编译时内存占用。

4. 内存占用更低的数组类型 #

• vector包的未装箱向量：Data.Vector.Unboxed比array包的未装箱数组内存效率更高，且提供更高效的操作API。Complex Float/Complex Double类型可直接使用未装箱向量存储（vector包已默认支持对应实例）。
• primitive包的原始数组：若需极致内存控制，Data.Primitive.ByteArray或Data.Primitive.Array可直接操作原始内存，避免额外封装开销，但使用方式更底层。
• 优化数组初始化方式：避免使用关联列表初始化数组——关联列表每个元素包含元组与链表节点，会带来额外内存开销。改用listArray结合生成函数，或vector的generate函数直接生成数组，减少中间数据的内存占用。

5. 其他优化建议 #

• 升级GHC版本：9.4及以上版本的GHC在内存管理上有优化，可降低编译阶段的内存消耗
• 关闭后台闲置程序：释放物理内存，为编译过程预留更多可用空间

内容的提问来源于stack exchange，提问作者Henri Labroche