Tại sao các loại không có nhà xây dựng dữ liệu hợp lệ?

Question

này có vẻ là hợp pháp:

data MagazineInfo = Int String 
    deriving (Show) 

Tôi không chắc chắn nếu có một nhà xây dựng dữ liệu mặc định, nhưng các mã trên biên dịch.

Tại sao Haskell hợp lệ ở trên, vì tôi không chỉ định rõ ràng một hàm tạo giá trị?

Answer 1

Bạn có một trình tạo dữ liệu tại đó - đó là Int. Loại tên sống trong một không gian tên riêng biệt từ các nhà xây dựng dữ liệu, đó là lý do tại sao bạn không nhận được lỗi mặc dù có một loại cũng được đặt tên là Int.