我只是在學習Haskell，并且試圖編寫一個簡單的程序來消除。中的前n個字符String。這就是我得到的：cutString :: (Num n, String str) => n -> str -> strcutString n str = case n of 0 -> tail str n -> cutString (n-1) (tail str)GHC卻給了我這個錯誤，我不知道為什么：`String' is applied to too many type arguments In the type signature for `cutString': cutString :: (Num n, String str) => n -> str -> str
3 回答
森欄
TA貢獻1810條經驗 獲得超5個贊
String 是類型，而不是類型類，因此您（必須）可以在類型簽名中按原樣使用它。
cutString :: Num n => n -> String -> String
慕桂英546537
TA貢獻1848條經驗 獲得超10個贊
作為參考，較舊的GHC（即7.2.2或更早版本）曾給出此更有用的錯誤：
Type constructor `String' used as a class
In the type `(Num n, String str) => n -> str -> str'
確實，這正是您的問題：String是類型，并且您將其用作類型類。類型類是類型的集合，而不是單個類型，例如Integer和Double和Rational都是屬于類型類的所有類型Num。類型類顯示=>在類型的左側，其中實型和類型變量顯示在的右側=>。
天涯盡頭無女友
TA貢獻1831條經驗 獲得超9個贊
該函數當然具有更簡單的類型cutString :: Num n => n -> [a] -> [a]。而且，Num在這種情況下沒有太大意義，所以也許類型Integral i => i -> [a] -> [a]甚至Int -> [a] -> [a]更好。 – dflemstr 12年 8月18日，13：39
@dflemstr我敢肯定你的
- 3 回答
- 0 關注
- 478 瀏覽
添加回答
舉報
0/150
提交
取消