数据构造函数haskell中的访问类型字段

Question

我有一个问题如何访问数据构造函数中的某些类型。让我们说我得到了这个代码示例

data Object = Object Type1 Type2 Type3 Type4
  deriving(Eq,Show)
type Type1 = Float
type Type2 = Bool
type Type3 = Int
type Type4 = String

我定义了一个名为

的函数

construct = Object 5.6 True 10 "World"

如何从构造中打印某些类型，例如我想从构造中打印“World”，如何获取该信息。

Type4 construct 

不起作用

先谢谢你

Answer 1

使用模式匹配

我们可以构造一个使用模式匹配的函数：

objectType1 :: Object -> Type1
objectType1 (Object x _ _ _) = x

使用记录语法

我们还可以使用记录语法定义数据类型：

data Object = Object {objectType1 :: Type1,
                      objectType2 :: Type2,
                      objectType3 :: Type3,
                      objectType4 :: Type4} deriving(Eq, Show)

然后，Haskell将自动构造getter，因此你必须构造出这样的objectType1函数。

我们也可以将这种记录语法用作“ setter ”，例如：

setObjectType1 :: Type1 -> Object -> Object
setObjectType1 t o = o { objectType1 = t}

Answer 2

还行

ddays

似乎要解压缩这四个字段。我是Haskell的新手，所以我不知道这是记录在案的行为还是推荐的方法（某种模式匹配？）。