haskell - `String' 应用于太多类型参数

Question

我刚刚学习 Haskell，我正在尝试编写一个简单的程序来消除 String 中的前 n 个字符。这就是我得到的:

cutString :: (Num n, String str) => n -> str -> str

cutString 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

Answer 1

String 是一种类型，而不是类型类，因此您可以(必须)在类型签名中按原样使用它。

cutString :: Num n => n -> String -> String