无法将类型“a”与“字符串”匹配

Question

我在 haskell 中做某种编译器，我遇到了这个问题：

这是我目前的代码：

data Command a = Input a | Print a

readCommand:: Read a => String -> Command a
readCommand entrada
    | tokens!!0 == "INPUT" = Input (tokens!!1)
    | tokens!!0 == "PRINT" = Print (tokens!!1)
    where
        tokens = words entrada
        listInstr = lines entrada

但我收到此错误：

无法将类型 'a' 与 'String' 匹配； 'a' 是一个严格的类型变量，由 readC:: Read a => String -> Command a 的类型签名绑定

预期类型：[a]；实际类型：[String]

这个错误是否意味着如果我在函数上声明我有一个字符串，类型'a'也不能是一个字符串？

感谢您的帮助

Answer 1

这个错误意味着如果你承诺一个Command a作为结果，你必须产生一个你的函数调用者请求的Command a类型的结果（只要它满足条件Read a）。因此，您的类型签名允许编译以下代码：

x :: Integer
x = readCommand ""

y :: String
y = readCommand ""

z :: [Double]
z = readCommand ""

根据您的类型签名，readCommand 的所有这些用法都是有效的，因此 readCommand 需要能够生成任何这些类型的值。按照您定义它的方式，无论请求哪种类型，它都将始终生成 Command String。由于这不是您在类型中所承诺的，因此您会收到编译错误。

如果你想生成Command Strings 作为结果，你需要你的类型是readCommand :: String -> Command String。如果您希望您的类型成为现在的样子，您需要实际生成所请求类型的值。

请注意，您需要Read a，但从不实际使用read 函数，这就是需要Read a 的关键。