Haskell 给出类型错误的类型同义词

Question

我正在尝试创建一个看起来像这样的类型同义词：

data Result = Either String [Token]

我遇到了困难，因为在编译此代码时，当我尝试使用 [Token] 创建结果时，haskell 抱怨

    Not in scope: data constructor `Result'

如何使用构造函数定义类型同义词那行得通吗？！

Answer 1

您如何尝试创建结果？
正确的方法是：

如果您将其声明为 data：

data Result = Result (Either String [Token])

f :: Result
f = (Result (Left "test"))

或者，如果您将其声明为 type：

type Result = Either String [Token]

f :: Result
f = Left "test"

Answer 2

使用

type Result = Either String Token

数据构造函数是

Left :: String -> Result
Right :: [Token] -> Result

因为

data Either a b = Left a | Right b

您

data Result = Either String [Token]

声明 Result 具有一个双参数构造函数，Either

Either :: String -> [Token] -> Result

的类型 a) 可能不是您想要的 b) 令人困惑，因为Either 是众所周知的类型构造函数。

Answer 3

我认为你需要使用类型而不是数据

type Result = Either String [Token]