Có thể sử dụng UndecidableInstances pragma tại địa phương có hậu quả toàn cầu về việc chấm dứt biên dịch không?

Question

Giả sử một nhà thiết kế thư viện Haskell quyết định sử dụng UndecidableInstances vì một số lý do. Thư viện biên dịch tốt. Bây giờ giả sử một số chương trình sử dụng thư viện (như định nghĩa một số cá thể của các lớp kiểu của nó), nhưng không sử dụng phần mở rộng. Nó có thể xảy ra rằng việc biên dịch thất bại (không chấm dứt)?

Nếu kịch bản như vậy có thể xảy ra, tôi rất vui khi thấy ví dụ. Ví dụ: mtl sử dụng UndecidableInstances rất nhiều, bạn có thể viết chương trình phụ thuộc vào mtl (hoặc bất kỳ thư viện chuẩn nào khác sử dụng tiện ích mở rộng) không tự sử dụng UndecidableInstances, nhưng không biên dịch được vì không thể xác định?

Answer 1

Câu hỏi hay!

Nói chung điều này chắc chắn là có thể. Xem xét mô-đun này:

{-# 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 

Nó tự biên dịch tốt. Tuy nhiên, nếu bạn nhập module này và xác định

g x = x + f [x] 

bạn sẽ nhận được

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] 

---

Về các trường hợp mtl, tôi không thấy như thế nào một cái gì đó như thế này là có thể, nhưng tôi cũng không có bằng chứng rằng nó không phải.