Haskell“show適用於太多類型的參數”

Question

我試圖在haskell中復制UNIX程序wc。 為了使這更容易，我創建了一個類型：

data WCResult = WCResult {
                      wordCount :: Int,
                      fileName  :: String
                     } --deriving (Show)

instance Show (WCResult x y) where
    show (WCResult x y) = show x ++ " " ++ y

當我嘗試運行這個程序時，我得到了

wc.hs:9:15:
`WCResult' is applied to too many type arguments
In the instance declaration for `Show (WCResult x y)'

有誰知道為什么？

Answer 1

類型WCResult不接受任何參數 - 您將類型構造函數與數據構造函數混淆，后者確實接受了參數：

instance Show WCResult where
    show (WCResult x y) = show x ++ " " ++ y