haskell - 无法将预期类型与推断类型匹配，刚性类型变量错误

Question

这个函数有什么问题吗？

test :: Show s => s
test = "asdasd"

String 是 Show 类的实例，因此它看起来是正确的。

错误是

src\Main.hs:224:7:
    Couldn't match expected type `s' against inferred type `[Char]'
      `s' is a rigid type variable bound by
          the type signature for `test' at src\Main.hs:223:13
    In the expression: "asdasd"
    In the definition of `test': test = "asdasd"

Answer 1

test::Foo a => a 表示“对于作为 Foo 实例的任何类型，test 是该类型的值类型”。因此，在任何可以使用 X 类型的值(其中 X 是实例 Foo)的地方，您都可以使用 类型的值>Foo a => a。

类似于 test::Num a => a; test = 42 有效，因为 42 可以是 Int 或 Integer 或 Float 类型的值或任何其他类型的实例数字。

但是 "asdasd" 不能是 Int 或任何其他 Show 实例 - 它只能是字符串。因此，它与 Show s => s 类型不匹配。