UndecidableInstances 什么时候安全？有关 GHC 扩展的一些常见问题

Question

我知道 -XUndecidableInstances 的文档 ，但我想我应该要求详细说明。

假设我有两个多参数类型类（允许 -XMultiParamTypeClasses< /a>)

class Foo a b
class Goo a b

现在，假设我有一个参数化数据类型

data Bar a b

，当它的参数之一是 Goo 实例的一部分时，我想创建一个 Foo 实例。我不确定前一句使用了确切的术语，所以这就是我想写的内容：

instance (Goo c d) => Foo d (Bar a d)

如果没有 UndecidableInstances 扩展，我就不允许这样做。我是否正确地认为这是因为实例没有引用 c 类型？

我应该...

1. 只启用扩展吗？有人可以详细说明它会给我带来什么样的麻烦吗？
2. 向 Foo 添加另一个参数，以便最后一个实例声明变成类似于 Foo cd (Bar ad)？这样做的一个问题是，我可能有其他 Foo 实例，它们从未对任何此类“第四类型参数”进行任何引用（即存在 instance Foo A B 形式的实例> 在我的代码的不相关部分），所以这些会破坏。我宁愿修复我的实例，而不是我的类。
3. 创建一个具有足够参数的新类 FooGoo？在这种情况下，我会觉得我在重复自己，但至少我不会破坏不相关的课程。

有没有人有什么至理名言？

Answer 1

我认为这是因为实例不引用 c 类型是否正确？

是的，您的代码不符合（来自此处< /a>):

对于上下文中的每个断言：否
类型变量出现的次数较多
断言比头部的断言

您应该是安全的。当涉及到OverlappingInstances时，事情只会变得非常棘手（并且依赖于编译器），而当你使用IncoherentInstances时，事情就会变得非常糟糕。

如果不了解更多关于您想要完成的任务，就很难提供合理的设计建议，但首先要检查的是您是否真的需要将 c 作为 Goo 的参数。你也许可以这样表达你想要完成的事情：

class Goo d where
    bar :: d c -> Int
    baz :: Quux c => d c -> Int