Haskell 数据类型列表答案

【问题标题】：Haskell lists of datatypesHaskell 数据类型列表
【发布时间】：2009-06-24 05:16:49
【问题描述】：

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

data Place = Country
           | State
           | City String
           deriving Show

data State = California
           | NewYork
           deriving Show

data Country = USA
             | Canada
             deriving Show

我可以合法地制作一个列表，例如 [Country] 类型的 [USA, Canada]，或 [State] 类型的 [California, NewYork]，或 [Place] 类型的 [City "a", City "b"] ].

我必须做什么才能制作 [USA, NewYork] 之类的列表？纽约是一个地方的州，美国是一个地方的国家，但 ghci 看到美国，所以它假设我正在制作一个国家列表（纽约是一个州，所以列表失败）。

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

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

【问题讨论】：

标签： haskell types

【解决方案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

然后您可以创建一个列表，例如 [Country USA, State NewYork]，它的类型是 [Place]。在第一个示例中使用相同的词两次并不会像我想象的那样将 State 类型“绑定”在一起。

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

【讨论】：

哦，这就是你的绊脚石吗？是的，构造函数和类型都以大写字符开头，但位于不同的命名空间中。
是的，这确实是初学者的错误……希望其他人也觉得它有用。
变量名（和类型变量名）是小写（或非“:”首字母），构造函数名是大写（或“:”首字母），类型名（和模块名称）是大写的；这些类别之间没有重叠。希望你不会花太长时间来习惯它:)

【解决方案2】：

{-# LANGUAGE ExistentialQuantification #-}
data GenericPlace = forall a. Show a => GenericPlace a
places :: [GenericPlace]
places = [GenericPlace USA, GenericPlace NewYork]

请参阅GHC user guide # 7.4.4 Existentially quantified data constructors 了解此方法的一些限制。

对在 Haskell 中制作可用的异构集合进行了深入研究。

Strongly typed heterogeneous collections

异构集合是一种数据类型，能够存储不同类型的数据，同时提供查找、更新、迭代等操作。有多种异构集合，在表示、不变量和访问操作方面有所不同。我们描述了 HList——一个用于强类型异构集合的 Haskell 库，包括可扩展记录。我们在 Haskell 中类型安全的数据库访问上下文中说明了 HList 的好处。 HList 库依赖于 Haskell 98 的常见扩展。我们的探索提出了有关 Haskell 类型系统的有趣问题，特别是避免重叠实例，以及类型相等和类型统一的具体化。

【讨论】：

【解决方案3】：

您正在构建一个异构列表（即该列表包含不同类型的值）。这样的结构可以是静态或动态类型的。无论哪种方式，只要我们知道该值支持特定接口，我们就可以在包装的列表中使用它。

IMO 最好的方法是通过存在类型，如 ehemient 所示：

所有值都支持 Show 接口
任何支持 Show 的都可以放在列表中
类型系统保证您不会破坏抽象

【讨论】：