.net - F# 多态性

Question

有什么方法可以处理 F# 中关于记录类型的多态性？

举个例子，假设我们有两种地址记录类型，街道地址和邮箱地址。我认为在行为方面可以通过模式匹配来处理它们。但是引用呢，有什么方法可以从其他记录中引用(不是指对象引用)这两种类型

Answer 1

如果我正确理解您的问题，我会使用有区别的工会:

type StreetAddress = {. . . }
type BoxAddress = {. . .}

type Address =
  | StreetAddress of StreetAddress
  | BoxAddress of BoxAddress

然后您可以创建和引用 Address 值。

如果街道和邮箱地址共享一些公共(public)数据，您可以将其放入单独的 BaseAddress 记录类型中，然后在 StreetAddress 和 BoxAddress，或者直接由Address使用:

type BaseAddress = {. . . }
type StreetAddress = {. . . }
type BoxAddress = {. . .}

type Address =
  | StreetAddress of BaseAddress*StreetAddress
  | BoxAddress of BaseAddress*BoxAddress