Haskell Lỗi mã không thể truy cập?

Question

Giả sử tôi có mã (sai) sau.

data A a b where 
    APure :: (A a b) 
    AApply :: A (A b c) c 

test :: (A a b) -> a -> b 
test (APure) a = a 
test AApply a = undefined 

GHC sau đó sẽ cho tôi lỗi này:

Couldn't match type `b' with `A b1 b' 
    `b' is a rigid type variable bound by 
     the type signature for test :: A a b -> a -> b 
Inaccessible code in 
    a pattern with constructor 
    AApply :: forall c b. A (A b c) c, 
    in an equation for `test' 
In the pattern: AApply 
In an equation for `test': test AApply a = undefined 

Không phải là thông báo lỗi này hoàn toàn sai? Lỗi này không liên quan gì đến AApply.

Answer 1

Isn't this error message completely wrong? The error has nothing to do with AApply .

Không hoàn toàn. Nó được cho là một lỗi mà bạn nhận được thông báo lỗi, nhưng nó không hoàn toàn tắt cơ sở.

Nhìn toàn bộ mọi thứ lại với nhau sau khi xem các phần.

test (APure) a = a 

nói rằng chúng ta có một hàm

test :: A a b -> r -> r 

Đặt rằng cùng với chữ ký

test :: (A a b) -> a -> b 

và thống nhất, bỏ qua những lỗi loại từ phương trình đầu tiên, loại được tinh chế để

test :: A r r -> r -> r 

Sau đó nhìn vào phương trình

test AApply a = undefined 

và xem như thế nào đó là không thể tiếp cận theo loại tinh chế, vì

AApply :: A (A b c) c 

sẽ đòi hỏi

c ~ A b c 

nếu AApply là một cuộc tranh luận đầu tiên hợp lệ.