F#：将受歧视的联合和类层次结构结合在一起？

Question

假设我有一个重要的类层次结构：

Tag
    ControlFlowTag
        IfTag
        ForTag
    JumpTag
    HTMLTag
        DivTag

并且我想制作一个散布这些和字符串的列表。

let MyList = [tagA, tagB, "some text", tagC]

我以为我可以区分联合它，

type Node = 
    | Tag of Tag
    | String of String

let MyList: list<Node> = [tagA, tagB, "some text", tagC]

但可惜的是，如果没有它，它就无法工作

let MyList: list<Node> = [Tag tagA, Tag tagB, String "some text", Tag tagC]

。 显然，Node 中描述的 Tag 和 String 是正交的，并且与现有的 Tag/String 类分开。将鼠标悬停给我的类型为 Node.Tag 和 Node.String，这不是我想要的。

我现在拥有的是一个函数t，它创建了一个继承自Tag的StringTag，这给了我

let MyList : list<Tag> = [tagA, tagB, t"some text", tagC]

相当不错的功能，但是额外的t 增加了视觉噪音。我真正想要的是一个强类型的“两种不同类型的列表”，我可以使用 match 语句来使用它。我认为这就是受歧视联合的要点，但它们无法使用现有的类型层次结构是一个问题，因为现有的层次结构（在本例中为 Tag）足够复杂，我认为完整的 OO 继承方法类型子集比纯粹的可区分联合方法更清晰

一种选择是仅将其设为 obj 列表并在 match 之前/期间强制转换所有内容，但这不是真的非常 好的。还有其他方法吗？

Answer 1

如果您有两个不同的 DU，那么

type Node = 
  | Tag of Tag
  | String of String

编译

type Foo = 
  | Bar of Tag
  | Name of String

器如何知道以下列表属于哪种类型？

[tagA; tagB; "some text"; tagC]

正如斯维克所说，鉴别器是必要的。如果您使用类，则需要向上转换为基本类型，因此我不确定是否可以节省击键次数。

如果您正在使用字典，这里是一个不错的选择减少拳击的语法噪音。也许你可以对列表做类似的事情。

Answer 2

我不知道这有多大帮助，但如果合适的话，您可以使用活动模式以类似 DU 的方式匹配类层次结构。

[<AbstractClass>]
type Animal() =
    abstract Talk : string

type Cat() =
    inherit Animal()
    override this.Talk = "Meow"

type Dog() =
    inherit Animal()
    override this.Talk = "Woof"

type SuperCat(s) =
    inherit Cat()
    override this.Talk = s

let animals : list<Animal> = 
    [Dog(); Cat(); SuperCat("MEOW")]

let (|SCSaid|_|) (a:Animal) =    // Active Pattern
    match a with
    | :? SuperCat as sc -> Some sc.Talk 
    | _ -> None

for a in animals do
    match a with
    | :? Dog -> printfn "dog"    
    | SCSaid s -> printfn "SuperCat said %s" s // looks like DU
    | _ -> printfn "other"
//dog
//other
//SuperCat said MEOW

Answer 3

受歧视的工会就是受歧视的（与 C 工会不同）。这意味着您必须始终添加鉴别器。

如果这是 C#，我会考虑从 string 到 StringTag 的隐式转换。但由于 F# 不支持隐式转换，我认为第二种方法是最好的选择。尽管我会让函数的名称更具描述性，而不仅仅是t。大多数时候，最好编写易于阅读的代码，而不是易于编写的代码。