Elm中type X = X {...}结构的名称及字段访问方法咨询

咱先把核心问题拆解清楚：

一、这个结构的名称是什么？ #

这是带单个记录参数的自定义联合类型（Union Type），属于Elm代数数据类型的一种常见用法。

它和你提到的type alias Item = { name : String, data : String }本质完全不同：

• type alias只是给现有记录类型起了个“别名”，底层还是普通记录，所以能直接用.访问字段；
• 而你写的这个是全新的自定义类型，构造函数Item把一个记录包裹成了联合类型的唯一变体，外层类型是Item，不是记录。

二、如何访问它的字段？ #

你之前尝试item.name报错，是因为item的类型是Item（联合类型），不是内部的那个记录——必须先把内部记录从构造函数里“拆”出来，最符合Elm风格的方式是用模式匹配：

方法1：写专用的访问函数（推荐） #

这是Elm里处理自定义类型的标准做法，可读性和可维护性都最好：

-- 先定义你的类型
type Item = Item { name : String, data : String }

-- 定义获取name字段的函数
getName : Item -> String
getName (Item itemRecord) = itemRecord.name

-- 定义获取data字段的函数
getData : Item -> String
getData (Item itemRecord) = itemRecord.data

-- 使用示例
myItem : Item
myItem = Item { name = "abc", data = "def" }

-- 调用访问函数
> getName myItem
"abc" : String
> getData myItem
"def" : String

方法2：局部作用域内模式匹配 #

如果只是临时需要访问字段，可以在let表达式里直接提取：

> myItem = Item { name = "abc", data = "def" }
> let (Item record) = myItem in record.name
"abc" : String

方法3：匿名函数快速提取（适合临时调试） #

要是图省事，也可以用匿名函数一次性拆包，但可读性不如前两种，不推荐在正式代码里用：

> (\(Item r) -> r.data) myItem
"def" : String

补充几个你提到的特性细节 #

• 和普通record的行为差异：普通record是扁平的、透明的类型，支持直接字段访问和更新；而这个联合类型是封装后的类型，外部代码必须通过你定义的函数才能访问内部数据，能帮你实现更强的封装性。
• 适合递归数据模型：当你需要定义递归结构（比如树形、链表）时，这种写法会比把参数分开写更清晰，比如：

  -- 一个带元数据的树形结构
  type Tree a = Node { value : a, metadata : String, children : List (Tree a) } | Leaf a
  

• 为什么语法指南里没单独提？：因为它只是联合类型构造函数的一种用法——联合类型的构造函数可以接受任意类型的参数（包括记录、基本类型、甚至其他自定义类型），所以属于联合类型的通用用法，没有单独列出来。

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