Tại sao tôi không thể lấy được Hiển thị ở đây?Tại sao tôi không thể lấy được Hiển thị ở đây?
{-# LANGUAGE ExistentialQuantification #-}
data Obj = forall a. (Show a) => Item_Obj {get :: a, rest :: Obj} | No_Obj deriving Show
xs :: Obj
xs = Item_Obj 1 $ Item_Obj "foo" $ Item_Obj 'c' $ No_Obj
main :: IO()
main = putStrLn . show $ xs
Loại ngữ cảnh như vậy không được phép trong các kiểu dữ liệu haskell-98. Đọc this
Tất nhiên bạn có thể viết cá thể độc lập bằng cách sử dụng phần mở rộng StandaloneDeriving và để ghc làm phần còn lại của công việc.
deriving instance Show Obj
Về cơ bản vì đầu GHC phát nổ khi bạn thử. Nói cách khác, nó chỉ đơn giản là đã không được dạy làm thế nào để lấy được trường hợp cho các loại tồn tại. Đợi một số phiên bản để vượt qua và sau đó thử lại.
Độc lậpKhông hoạt động, rất hay. Cảm ơn bạn! –