haskell - 为什么我无法替换使用 GHC 分发的库？如果我这样做会发生什么？

Question

我在 this answer 中看到和 this one “一切都会严重破坏”，Stack 不会让我替换 base，但它会让我替换 bytestring。这有什么问题吗？有没有一种方法可以安全地执行此操作而无需重新编译 GHC？我正在调试基础库的问题，这会非常方便。

注意当我说我想替换 base 时，我的意思是使用base 的修改版本(来自相同 GHC 版本)。我正在调试该库，而不是针对不同的 GHC 版本测试程序。

Answer 1

大多数库都是包含 Haskell 代码的 Haskell 模块的集合。这些库的含义由模块中的代码决定。

但是，base 包有点不同。它提供的许多函数和数据类型没有在标准 Haskell 中实现；它们的含义不是由包中包含的代码给出的，而是由编译器本身给出的。如果您查看base 软件包(以及其他引导库)的源代码，您将看到许多操作的完整定义只是undefined。编译器运行时系统中的特殊代码实现这些操作并公开它们。

例如，如果编译器不提供 seq 作为原始操作，则事后就无法实现 seq:没有 Haskell 术语您可以写下的内容将具有与 seq 相同的类型和语义，除非它使用 seq(或根据 seq 定义的 Haskell 扩展之一) >)。同样，许多指针操作、ST 操作、并发原语等都是在编译器本身中实现的。

这些操作不仅通常无法实现，而且通常还与编译器的内部数据结构紧密相关，而编译器的内部数据结构从一个版本到下一个版本都会发生变化。因此，即使您设法说服 GHC 使用来自不同(版本)编译器的 base 包，最可能的结果也只是损坏内部数据结构，并带来不可预测的(并且可能是灾难性的)结果 - - 竞争条件、内存垃圾、空间泄漏、段错误等等。

如果您需要多个版本的base，只需安装多个版本的GHC即可。它经过精心设计，以便多个版本可以在一台机器上和平共存。 (特别是安装多个版本绝对不需要重新编译 GHC，甚至不需要第一次编译 GHC，这似乎是您主要关心的问题。)