F# 理解歧视联合

我之前问过这个问题，很抱歉再次问类似的问题。但不幸的是，我无法真正理解如何设计一个受歧视的工会。

所以我有一堆数据结构，看起来像

类型艺术家（艺术家 ID：int，名称：字符串）= 做 如果 name = null 则 nullArg String.Empty 新（艺术家ID：int）=艺术家（艺术家ID） 成员 x.ArtistId = 艺术家Id 成员 x.Name = 姓名

和流派（）= 让可变名称 = String.Empty 让可变的 GenreId : int = 0 让可变描述 = String.Empty 让可变相册 = List.empty 会员 x. 描述 其中 get() = 描述 和 set( value ) = 描述 成员x.专辑 get() = 专辑并 set ( value ) = 专辑

和专辑（）= 让可变标题 = String.Empty 让可变albumId = 0 让可变的genreId = 0 让可变的artistId = 0 让可变价格：decimal = Decimal.Zero 让可变albumArtUrl = String.Empty 让可变流派 = new Genre() 让可变艺术家=新艺术家（artistId） 会员x.头衔 get() = 标题并 set (value) = 标题

在此处输入代码

我尝试根据一些 F# 专家的建议将上述定义为受歧视的联合

我定义如下

类型名称 = 字符串 输入专辑 ID = int

输入艺术家= |艺术家 ID 为 int |艺术家名字

输入专辑= |字符串标题 |小数价格 |专辑AlbumId * 艺术家 |字符串的AlbumArtUrl

类型类型= | int 类型 |名称类型 * 专辑列表

可区分联合用于表示具有多种不同情况的类型，这大致对应于面向对象语言中的类层次结构。例如，一个基类Shape有两个继承类Circle and Rectangle可以这样定义：

type Shape = 
  | Rectangle of (float * float) * (float * float) // Carries locations of two corners
  | Circle of (float * float) * float              // Carries center and diameter

您定义受歧视工会的方式并没有真正达到您的预期目的。你的类型Album, Artist and Genre仅代表一个具体类型。

您可以使用记录（就像只有属性的轻量级类）或使用有区别的联合来表示这些单一案例，它对应于单个类，但具有相当轻量级的语法，这是主要的好处。例如：

type Name = string  
type Price = decimal
type AlbumId = int  
type ArtistId = int  

type Artist = Artist of ArtistId * Name 
type Album = Album of AlbumId * Name * Price * Artist

要构建一个艺术家和一些专辑，你可以这样写：

let pinkFloyd = Artist(1, "Pink Floyd")

let darkSide = Album(1, "The Dark Side of the Moon", 12.0M, pinkFloyd)
let finalCut = Album(2, "The Final Cut", 11.0M, pinkFloyd)

如果您随后创建一个流派，它将包含专辑列表，可能还包含艺术家列表，因此您可以编写如下内容：

type Genre = Genre of Name * Artist list * Album list 

let rock = Genre("Rock", [pinkFloyd], [darkSide; finalCut])

现在的问题是，您实际上想要如何填充类型。您的数据源是什么？如果您要从数据库或 XML 文件加载数据，您可能需要编写一个函数来获取数据源的某些部分并返回Artist or Album加载所有专辑和艺术家后，将它们包装在Genre并将其作为最终结果返回。

PS：回答你的问题有点困难，因为你并没有真正给出你想要做什么的更大的图景。如果您可以给出一个小而具体的示例（包括数据的加载及其使用），那么有人可以帮助您从更实用的角度来看待问题。