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