UndecidableInstancesプラグマをローカルで使用すると、コンパイル終了時にグローバルな影響がありますか？

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] 

を定義する場合は、MTLのインスタンスについて

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] 

---

を得ることができますしかし、私はまた、このようなものが可能である方法を見て、私はありませんそうでないという証拠はありません。