为何部分最新版GHC未被推荐？多版本共存原因咨询

• 语言标准与扩展的演进
  GHC作为Haskell的核心实现，不仅支持官方制定的Haskell标准（如Haskell98、Haskell2010），还引入了大量实验性或非标准扩展（比如TypeFamilies、GADTs）来推动语言特性迭代。不同GHC版本对这些标准和扩展的支持逻辑、行为细节存在差异——不少老项目依赖特定版本的扩展表现，或是仅兼容旧版语言标准，盲目升级GHC会直接导致代码编译失败。

• 核心库的强绑定特性
  GHC自带的base等核心库与GHC版本是强耦合的，每个GHC版本对应固定的base版本。而Hackage上绝大多数第三方库都依赖base，当GHC版本更新时，base的API可能发生变更（比如函数签名调整、模块拆分合并），导致旧库无法在新GHC上编译，反之新库也可能无法兼容旧GHC。这种强绑定关系使得不同项目必须匹配对应的GHC版本才能正常构建。

• 稳定性与新特性的权衡
  最新GHC版本通常会加入新语言特性、性能优化或bug修复，但也可能引入未被广泛验证的兼容性问题或新bug。所谓的“推荐版本”是社区经过一段时间测试后，在稳定性、兼容性和特性支持之间找到最优平衡的版本，适合大多数普通用户。而追求前沿特性的开发者可以选择最新版，维护遗留项目的开发者则需要保留适配旧项目的老版本。

• 构建工具的生态适配需求
  Cabal、Stack等Haskell构建工具的工作流与GHC版本深度绑定。比如Stack的resolver机制会将特定GHC版本与一套预先验证过的兼容库快照绑定，不同resolver对应不同GHC版本，以此确保项目依赖的一致性。这种设计进一步强化了多GHC版本共存的必要性。

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