Haskell 数据类型字段

Question

我有自己的数据类型:

type Types = String
data MyType = MyType [Types]

我有一个实用函数:

initMyType :: [Types] -> MyType
initMyType types = Mytype types

现在我创建:

let a = MyType ["1A", "1B", "1C"]

如何从 a 获取列表 ["1A", "1B", "1C"]？一般来说，如何从数据构造函数获取数据？

Answer 1

除了使用模式匹配(如 arrowdodger 的答案所示)之外，您还可以使用记录语法自动定义访问器:

data MyType = MyType { getList :: [Types] }

这定义了一个与完全相同的类型

data MyType = MyType [Types]

还定义了一个函数

getList :: MyType -> [Types]

并允许(但不要求)语法 MyType { getList = ["a", "b", "c"] } 来构造 MyType 的值。顺便说一句， initMyTypes 并不是真正必要的，除非它除了构造值之外还执行其他操作，因为它的作用与构造函数 MyType 完全相同(但不能用于模式匹配)。