如何在Elm中复用已有record定义中的字段类型

Elm 不支持 TypeScript 里通过 类型名.字段名 引用某个 record 字段类型的语法，你写的 Foo.id 会被 Elm 识别为尝试访问值 Foo 的 id 字段，而 Foo 是类型别名不是值，所以才会抛出参数不匹配的报错。

方案1：抽离公共基础类型（最符合你的复用需求） #

把需要复用的字段类型单独定义为类型别名，后续所有用到该类型的地方都直接引用这个别名，重构时只需要修改一处即可：

-- 单独抽离id的类型
type alias FooId = String

type alias Foo = 
    { id : FooId
    , name : String
    }

type alias Bar = 
    { id : FooId
    , name : String
    }

如果后续需要把id改成Int类型，只需要修改type alias FooId = Int一行，Foo和Bar的id类型会同步更新。

方案2：可扩展记录（适合多类型复用同名字段的场景） #

如果有多个类型都需要包含id、name这类通用字段，可以用可扩展记录语法定义公共基础结构：

-- 定义包含通用字段的可扩展记录
type alias CommonFields a = { a | id : String, name : String }

type alias Foo = CommonFields {}
type alias Bar = CommonFields { extraField : Int }

这种写法下Foo等价于{ id : String, name : String }，Bar等价于{ id : String, name : String, extraField : Int }，修改通用字段的类型只需要调整CommonFields里的定义即可。

方案3：全量复用Record结构（适合新类型是原有类型扩展的场景） #

如果Bar需要包含Foo的全部字段，只需要新增额外字段，可以直接用扩展语法：

type alias Foo = 
    { id : String
    , name : String
    }

-- Bar 包含Foo的所有字段，新增age字段
type alias Bar = { foo | age : Int }

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