parsing - 具有通用数据类型的简单 Haskell 程序中的错误

Question

我正在用 Haskell 编写一个通用解释器，但我对环境的定义有疑问。

data Variable a = Variable {
     name :: String,
     vtype :: String,
     value :: a -- Rather than value :: Int
}

在定义了变量结构之后，我需要定义程序(环境)的状态，它只是一个变量列表。如果我写

type Env = [Variable]

我遇到了以下问题:

generic_interpreter.hs:11:13: error:* Expecting one more argument to Variable' Expected a type, but Variable' has kind * -> *' * In the type [Variable]'In the type declaration for `Env'11 | type Env = [Variable]

你能帮助我吗？提前致谢。

Answer 1

您的 Variable type 有一个类型参数 a ，所以你不能使用 [Variable] ，因为列表需要一个具体的类型。
因此，您可以定义类型 Env a那就是 Variable 的列表s 类型 a :

type Env a = [Variable a]