lời giải thích cho "loại bất hợp pháp gia đình đồng nghĩa"

Question

Tôi chỉ tò mò tại sao tôi phải viết những dòng này,

instance (HzMonad , Data.Suitable.Suitable α, γ ~ ExprTyp α) => VarDecl γ where 
    var = varhz 

thay vì điều này

instance (HzMonad , Data.Suitable.Suitable α) => VarDecl (ExprTyp α) where 
    var = varhz 

-- error 
Hz2/Language.hs:114:53: 
    Illegal type synonym family application in instance: ExprTyp α 
    In the instance declaration for `VarDecl (ExprTyp α)' 

nơi

varhz :: 
    (HzMonad , Data.Suitable.Suitable α) => 
    String -> ExprTyp α -> (ExprTyp α) 

là gì dấu ngã chưa? Cảm ơn rất nhiều.

Answer 1

Tôi nghĩ rằng vấn đề là mọi thứ ở bên phải của => phải là trình tạo kiểu hoặc biến kiểu. ExprTyp có thể ám chỉ đến nhiều hàm tạo kiểu differet. Thay thế điều này bằng một ràng buộc bình đẳng sẽ thực sự hoạt động, nhưng cá thể kết quả sẽ vô hiệu, vì trình biên dịch sẽ không thể suy ra bất cứ điều gì về γ cho rằng đó là một ExprTyp - ExprTyp có thể được đặt bí danh cho bất kỳ thứ gì.

Trong trường hợp của tôi - Tôi đang cố gắng viết một đơn nguyên DSL - giải pháp là bao bọc tất cả các công dụng của kiểu được liên kết trong một hàm tạo newtype. Ví dụ, nếu chúng ta bắt đầu với,

class MyDSL m a where 
    type ExprTyp m :: * -> * 
    printE :: ExprTyp m a -> m() 

sau đó gói này sẽ dẫn đến

newtype ExprT a = ExprT a 
class MyDSL m a where 
    type ExprTyp m :: * -> * 
    printE :: ExprT (ExprTyp m a) -> m() 

Sau đó, ví dụ, khai báo biến (tôi đang viết mã cho khai báo biến tupled) có thể là,

instance (HzMonad , Data.Suitable.Suitable α, γ ~ ExprTyp α) => VarDecl (ExprT γ) 
instance (Monad , VarDecl α, VarDecl β) => VarDecl (α, β) 

vui lòng đăng nhận xét nếu có điều gì đó không rõ ràng.