如何实现无依赖锁定的Stack式Haskell/GHC沙箱构建？

Stack本身的支持方案 #

Stack完全支持在活跃开发阶段使用依赖的最新版本构建，具体可通过以下方式实现：

• 使用Nightly快照：将stack.yaml中的resolver设置为最新的nightly版本（比如resolver: nightly-2024-05-20），Nightly快照每日更新，包含绝大多数Hackage包的最新稳定版本，能满足跟进最新依赖的需求。
• --allow-newer参数突破快照限制：如果Nightly快照里的依赖版本仍不符合要求，或者你需要绕过快照的版本锁定，执行构建时加上stack build --allow-newer参数。该参数会让Stack忽略快照的版本约束，直接选用package.yaml或.cabal文件中版本规则允许的最新依赖版本。
• 临时移除锁定文件：如果项目已生成stack.lock，删除该文件后重新执行构建，Stack会重新解析依赖，优先选取符合约束的最新版本。

替代方案：GHCup + Cabal v2-build #

如果觉得Stack的锁定机制还是不够灵活，可结合GHCup和Cabal的现代沙箱功能，同时满足GHC版本管理与项目沙箱需求：

• 解决GHC版本全局问题：使用ghcup run命令，直接指定项目所需的GHC版本来执行Cabal命令，例如：

  ghcup run --ghc 9.6.3 cabal v2-build
  

  这种方式无需全局切换GHC版本，每个项目可单独指定所需版本，确保构建环境的一致性。
• 解决PATH优先级问题：编辑~/.ghcup/env文件，将GHCup相关的PATH条目移到系统PATH之前，确保GHCup管理的GHC/Cabal优先被调用；或者在项目的构建脚本中临时调整PATH环境变量，避免系统版本干扰。
• Cabal v2-build的沙箱特性：Cabal 3.0及以上版本的v2-build默认采用项目级沙箱，依赖会被安装到用户目录下的专属存储区，每个项目的依赖相互隔离，完全具备Stack式的沙箱构建特性。

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