Haskell外部代码一致性规则：是否类Rust？跨包孤儿实例可行吗？

问题背景 #

在Rust中，出于设计合理性考量，开发者无法为libB::SomeType实现libA::SomeTrait这类跨外部库的trait实现（即遵循严格的孤儿规则，要求trait或类型至少有一个属于当前 crate）。

那么在Haskell中，是否存在类似的强制限制？还是会通过某种机制确保整个程序的一致性？

换用Haskell术语明确提问：能否为分别来自外部包（如Hackage）的类（Class）和类型（Type）定义孤儿实例？

回答 #

Haskell语法上允许定义这类孤儿实例，但这是社区强烈不推荐的反模式，会严重威胁程序的一致性：

• 当两个不同的包都为同一组外部类和类型定义了孤儿实例时，若你的程序同时依赖这两个包，编译器会直接报错，因为无法确定应该选用哪个实例实现。
• 即使没有直接冲突，孤儿实例也可能导致依赖链中出现隐性的实例冲突，使程序编译失败或行为不可预测。

不同于Rust严格的孤儿规则强制禁止跨外部库的trait实现，Haskell并没有强制限制，但这种灵活性是以牺牲程序的可维护性和一致性为代价的。Haskell社区的最佳实践是：仅在类或类型至少有一个属于当前包时才定义实例，彻底避免孤儿实例的出现。

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