haskell - 创建 Int 和函数列表 Int -> Int -> Int

Question

除了创建对列表执行简单操作的函数之外，我对 haskell 还是很陌生。我想创建一个列表，其中包含 Int 类型的内容, 和 Int -> Int -> Int 类型的函数.

这是我尝试过的:

data Token = Value Int | Operator (Int -> Int -> Int)

tokens :: [Token]
tokens = [12, (+)]

但我收到以下错误

Couldn't match expected type `Token'
            with actual type `Integer -> Integer -> Integer'
In the expression: (+)
In the expression: [12, (+)]
In an equation for `tokens': tokens = [12, (+)]

我不确定为什么这不起作用，谁能指出我正确的方向？

Answer 1

您需要使用构造函数来获取 Token 类型的值.例如，12不是 Token 类型, 它的类型为 Int (好吧，Num a => a)。同样，(+)不是 token 而是函数Int -> Int -> Int .请注意 Token /= Int -> Int -> Int .

幸运的是，您已经定义了一些构造函数，例如 Value :: Int -> Token和 Operator :: (Int -> Int -> Int) -> Token .所以使用我们得到的那些:

tokens :: [Token]
tokens = [Value 12, Operator (+)]