F#泛型函数过滤器列表区分联合

Question

F# 新手问题。 我有一个受歧视的工会列表，例如：

type Type1 = { name:string;  id: int;  }
type Type2 = { x: float; y: float;}
type Type3 = { x: float; naam:string}
type Union1 =
    | T1 of Type1
    | T2 of Type2
    | T3 of Type3 
let lst1 = [ T1 {name="nnn";  id=3};  T2 {x=1.1; y=1.3}; T1 {name="naam1";  id=39}; T3{x=0.0; naam="xx"}]; 

//To filter out items of Type1, i do:
let fltT1 (l:list<Union1>) :list<Type1> =
    let rec loop (l:list<Union1>)  (acc:list<Type1>) =
        match l with
        | h::t -> match h with
                   // this is now specific per type
                   | T1{name=n;id=i} -> loop t ({name=n;id=i}::acc)
                   | _ -> loop t acc
        | [] -> acc
    loop l [] |> List.rev 

我怎样才能使这样的函数通用以在调用中指定 需要的输出类型（Type1|Type2|Type3）？

Answer 1

我的方法可能只是使用List.choose 或Seq.choose。它比filter/map 具有优势，因为您只需要执行一次模式匹配，并且比fold 简洁得多。

lst1 
|> List.choose 
    (function
     |T1 res -> Some res
     |_ > None)

choose 类似于地图和过滤器的组合，它为结果为Some 的每个元素返回f(x)，并忽略所有为None 的元素。在此示例中，返回类型为 Type1 list。

---

不可能基于特定的联合情况对函数进行参数化，这是因为特定的联合情况本身不是类型，它们只是联合类型的构造函数。 T1 在您的示例中不是类型，但 Union1 是。这意味着，在某些时候，需要一个显式的模式匹配来分解它。 （请注意，并非所有函数式语言都是如此，Scala 的联合案例是通过继承建模的，但 F# 采用 Haskell、Ocaml 等之类的方法。

正如 Fyodor Soikin 所提到的，如果您愿意，可以编写一个静态成员或函数来检查每种情况，例如：

static member tryAssumeT1 = function 
    |T1 t1 -> Some t1
    | _ -> None

然后您可以使用以下语法：

lst1 |> List.choose (tryAssumeT1)