Elm联合类型中的大写术语是什么？解析Regular与Visitor的本质

你贴的这段代码是Elm里的联合类型（Union Type）定义，其中Regular和Visitor是这个联合类型的构造器（Constructors），既不是未定义的类型，也不是普通函数。

具体说明： #

• type User 声明了一个名为User的新类型，它有两个可能的形态：
  1. Regular String Int：代表携带字符串（比如用户名）和整数（比如年龄）的普通用户
  2. Visitor String：代表只携带字符串（比如访客名）的访客
• 构造器的作用是创建对应类型的值，调用方式看起来像函数，但本质是用来标记值属于联合类型的哪个分支，同时绑定对应的数据。比如：

  -- 创建一个Regular类型的User值
  alice : User
  alice = Regular "Alice" 30
  
  -- 创建一个Visitor类型的User值
  bob : User
  bob = Visitor "Bob"
  

• 和普通函数的区别：构造器不需要定义实现，它是Elm类型系统的一部分，用来构建联合类型的实例，没有->是因为这是联合类型的语法规则，用来声明每个分支携带的数据类型。

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