如何访问Haskell自定义数据类型Human的[Names]属性？

嘿，这个问题问得好！在你当前定义的Human类型里，确实没有直接像Names human1这样的简便访问方法——因为你用的是普通代数数据类型定义，Haskell不会自动生成字段访问器。不过咱们有两种实用的解决办法：

1. 手动编写访问函数 #

最简单直接的方式就是自己写一个提取名字的函数，利用模式匹配拆解Human对象：

-- 保留你原来的类型定义
data Human = Human [Names] Age deriving(Eq,Show)
type Names = String
type Age = Int

-- 手动定义名字访问器
getNames :: Human -> [Names]
getNames (Human names _) = names

-- 同理可写年龄访问器
getAge :: Human -> Age
getAge (Human _ age) = age

之后你就能用getNames human1获取human1的名字列表，效果和你想要的Names human1完全一致，还能自己控制函数命名和行为。

2. 使用记录语法定义数据类型 #

如果想让Haskell自动生成访问器函数，可以改用记录语法定义Human类型。这种方式不仅能自动生成访问器，还能让对象的创建和更新更清晰：

-- 用记录语法重新定义Human类型
data Human = Human { humanNames :: [Names], humanAge :: Age } deriving(Eq,Show)
type Names = String
type Age = Int

-- 创建对象的两种方式：位置参数 或 命名参数
human1 = Human ["FirstName","LastName"] 22
-- 字段多的时候更推荐命名参数写法
human1 = Human { humanNames = ["FirstName","LastName"], humanAge = 22 }

这时候你就可以直接用humanNames human1获取名字列表啦——和你设想的Names human1逻辑一致，只是字段名是你定义类型时指定的humanNames。

另外记录语法还有额外好处：能轻松更新对象字段（Haskell是不可变语言，更新会返回新对象）：

-- 创建年龄为23的新Human对象，名字保持不变
human2 = human1 { humanAge = 23 }

内容的提问来源于stack exchange，提问作者Luca9984