可以在本地使用UndecidableInstances pragma对编译终止产生全局影响吗？

Question

假设Haskell库设计者UndecidableInstances出于某种原因决定使用它.图书馆编译得很好.现在假设某些程序使用该库(比如定义其类型类的某些实例),但不使用该扩展.是否会发生编译失败(不终止)？

如果出现这种情况,我会很高兴看到一个例子.例如,由于mtl使用UndecidableInstances了很多,是否可以编写依赖于mtl(或使用该扩展的任何其他标准库)的程序,不使用UndecidableInstances自身,但由于不可判断而无法编译？

Answer 1

好问题!

一般来说,这当然是可能的.考虑这个模块:

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances #-}

module M where

class C a b | a -> b where
  f :: a -> b

instance C a b => C [a] [b]
  where f = map f

它编译本身就好了.但是,如果您导入此模块并定义

g x = x + f [x]

你会得到

Context reduction stack overflow; size = 201
Use -fcontext-stack=N to increase stack size to N
  C [b] b
In the second argument of `(+)', namely `f [x]'
In the expression: x + f [x]
In an equation for `g': g x = x + f [x]

关于mtl实例,我不知道这样的事情是如何可能的,但我也没有证明它不是.