1
Nhập vai trò và hành vi gây nhầm lẫn bởi `coced`
Tôi có một loại Id avà tôi đang cố gắng ngăn chặn vô tình ép buộc, ví dụ: an Id Doubleto an Id Int. Nếu tôi hiểu chính xác các loại vai trò, sau đây không nên biên dịch. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal …