Haskell实例读取的只是一个int的newtype

Question

我是Haskell的新手，我希望能够成为一个新类型，以便我能分辨出什么，但是我还必须从字符串中读取它。我有

newtype SpecialId Int
    deriving (Eq, Ord, Show)

如果希望以newtype派生Read，则我希望能够使用read "5" :: SpecialId，但它仅适用于read "SpecialId 5" :: SpecialId，因此不起作用。我试过了

instance Read SpecialId where
    readsPrec _ s = read s

但这给了我

SpecialId *** Exception: Prelude.read: no parse

Answer 1

自GHC 8.2使用 -XDerivingStrategies 以来，这是可能的:

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE DerivingStrategies         #-}

newtype SpecialId = SpecialId Int
    deriving stock   (Eq, Ord, Show)
    deriving newtype Read

在ghci中:

ghci> read "5" :: SpecialId 
SpecialId 5