Haskell - 无法将预期类型与实际类型匹配

Question

在这段代码中没有办法做到多态：

data NumericExpr e = Var e | Const e | Times [e] | Div e e deriving (Show,Read)

readCommand:: a -> b
readCommand entrada = Var 3

它给了我一个无法复制的大错误：

无法将预期类型 b 与实际类型匹配 NumericExpr e0 b 是 由 readcommand :: a 的类型签名绑定的刚性类型变量 -> b

---

编辑：

尚未使用：

data NumericExpr e = Var e | Const e | Plus [e] | Minus [e] | Times [e] | Div e e deriving (Show,Read)
data Expr e = Num e | String e

readCommand:: Expr b => a -> b
readCommand entrada = Var 3

Answer 1

您是说readCommand 可以产生用户请求的任何类型b 的结果，但您产生的结果Var 3 是NumericExpr e（对于某些数字类型e）。所以实际上你只能产生NumericExpr e类型的结果，而不是任何类型的结果。所以你的类型签名不正确。如果您想决定 3 的特定类型，它需要是 readCommand :: Num b => a -> NumericExpr b 或只是 readCommand :: a -> NumericExpr Integer。

请注意，没有可能产生结果的a -> b 类型的函数（对b 没有任何约束）。那就是该类型的任何可能的函数都将永远循环或崩溃。