Tại sao Haskell không thể suy ra Kiểu cây?

Question

Tôi đã theo dõi sách để xác định loại dữ liệu Cây, nhưng chương trình không hoạt động chính xác. Tại sao?

data Tree a = EmptyTree | Node a (Tree a) (Tree a) deriving (Show) 

test = show EmptyTree 

cung cấp cho các thông báo lỗi:

No instance for (Show a0) arising from a use of ???show??? 
The type variable ???a0??? is ambiguous 
Note: there are several potential instances: 
    instance Show a => Show (Tree a) 
    -- Defined at /Users/gzhao/Documents/workspace/hsTest2/src/Tree.hs:3:62 
    instance Show Double -- Defined in ???GHC.Float??? 
    instance Show Float -- Defined in ???GHC.Float??? 
    ...plus 25 others 
In the expression: show EmptyTree 
In an equation for ???test???: test = show EmptyTree 

Answer 1

Vấn đề là EmptyTree có kiểu Tree a cho bất kỳ loại a. Mặc dù nó sẽ không thực sự ảnh hưởng đến đầu ra cuối cùng, trình biên dịch muốn biết bạn có ý nghĩa gì với a.

Cách khắc phục đơn giản nhất là chọn một loại cụ thể, ví dụ: với show (EmptyTree :: Tree()). Này sử dụng đơn vị loại (), mà là ở một số cảm giác kiểu đơn giản nhất có thể, nhưng bạn cũng có thể sử dụng bất kỳ loại nào khác mà có một ví dụ Show, như Int, String, vv