haskell - 为什么 String 不能在约束中使用？

Question

这个问题已经有答案了:

`String' is applied to too many type arguments (2 个回答)

已关闭 6 年前。

为什么我无法设置String约束，但是 Num工作正常吗？

这有效:

ltest' :: (Num a) => a -> a
ltest' a = (\b -> b * 2) a

这不会:

test' :: (String a) => a -> a
test' a = a ++ " good job"

错误:

• Expecting one fewer argument to ‘String’
  Expected kind ‘* -> Constraint’, but ‘String’ has kind ‘*’
• In the type signature:
    test' :: (String a) => a -> a

Answer 1

String是一种类型:

type String = [Char]

Num是一个类:

class Num a where
    (+), (-), (*)       :: a -> a -> a
    negate              :: a -> a
    abs                 :: a -> a
    signum              :: a -> a
    fromInteger         :: Integer -> a
    negate x            = 0 - x

约束仅涉及类，不涉及类型。

您的ltest'有一个类型参数a。¹这可以明确表达:

ltest' :: forall a. (Num a) => a -> a

这意味着它适用于任何具有 Num 类实例的类型 a。

您的test'不需要类型参数，因为它仅适用于一种类型²(参数只能是String)。因此它也不需要任何约束，因为没有类型参数可以约束。

test' :: String -> String
test' a = a ++ " good job"

<小时/>

¹ 换句话说，ltest' 具有多态类型。

² 换句话说，test' 具有单态类型。