f# - 如何确定已区分的联合类型列表是否属于相同情况？

Question

假设我有这样的 DU:

type DU = Number of int | Word of string

假设我创建了一个列表:

[Number(1); Word("abc"); Number(2)]

我如何编写一个函数，该函数将为所有元素都相同的 DU 列表返回 true。对于上面的列表，它应该返回 false。

Answer 1

我最近有完全相同的用例，解决方案可以比复杂的反射或显式模式匹配简单得多，GetType 做了所有的魔法:

let AreAllElementsOfTheSameType seq = // seq<'a> -> bool
    if Seq.isEmpty seq then true else
    let t = (Seq.head seq).GetType ()
    seq |> Seq.forall (fun e -> (e.GetType ()) = t)