Haskell 数据类型列表

Question

这可能是另一个简单的 Haskell 问题。如果我有一些“嵌套”数据类型，例如在此示例代码中:

data Place = Country
           | State
           | City String
           deriving Show

data State = California
           | NewYork
           deriving Show

data Country = USA
             | Canada
             deriving Show

我可以合法地制作一个列表，例如 [国家] 类型的 [美国、加拿大]，或 [州] 类型的 [加利福尼亚、纽约]，或 [地点] 类型的 [城市“a”、城市“b”] ].

我需要做什么才能列出[美国、纽约]等列表？纽约是一个州，它是一个地方，美国是一个国家，它是一个地方，但 ghci 看到的是美国，所以它假设我正在制作一个国家列表(纽约是一个州，所以该列表失败)。

我认为我需要某种方法将一个国家或州定位到一个地方，但我不知道如何实现这一点。

我试图避免将 State 和 Country 中包含的数据放入 Place 类型中，我知道这会使其工作，但我有大量的真实数据，我不想像这样混淆那个。

Answer 1

这里还有一些输出让我找出了问题:

*Main> [State, State]
[State,State]
*Main> :t State
State :: Place
*Main> :t NewYork
NewYork :: State

这似乎暗示单词“State”是 Place 的有效构造函数，并且数据 State 仅指 California 或 NewYork 的值。

如果您稍微更改一下程序，即可:

data Place = Country Country
           | State State
           | City String
           deriving Show

data State = California
           | NewYork
           deriving Show

data Country = USA
             | Canada
             deriving Show

然后您可以创建一个列表，例如[美国国家/地区，纽约州]，其类型正确为[地点]。在第一个示例中使用相同的单词两次并不会像我想象的那样将 State 类型“绑定(bind)”在一起。

当然，使用构造函数 State State 只是一个偏好问题，如果我愿意的话，我可以在 Place 类型中轻松地执行 AmericanState State 操作。