Question

我有一个DU的特定成员列表，在我为这个成员过滤了另一个列表之后我想要转换它。

type FooBar = 
     | Foo of int
     | Bar of int

type FooBarWrapper = FooWrapper of FooBar

let fbs = [Foo(1); Bar(2); Foo(3); Bar(4)]

let onlyFoos x = 
    match x with
        | Foo x -> true
        | _ -> false

let foos = fbs |> List.filter onlyFoos

let fooValues (Foo x) = x + 1

let result = foos |> List.map fooValues;;

现在这给了我一个不完整的模式匹配

let fooValues (Foo x) = x + 1
               ^^^^^

因为我不匹配Bars - 但是那时 - 在那个特定的时间点我知道该列表只包含Foos。

唯一的方法是像这样重写fooValues

let fooValues x = 
    match x with
        | Foo x -> x + 1
        | _ -> failwith "Aint No Foo!"

哎呀！现在我必须再次模式匹配，即使我绝对知道这里不会有任何酒吧。

那么在F＃中实现这个的最佳/语法最令人愉快的方法是什么？

作为旁注：Haskell有同样的问题吗？

Answer 1

我不认为这是一个问题，而是DU的设计方式，是的，同样适用于Haskell。否则，您可以使用对象和子类型。

但是特别针对您提供的示例代码，如何更改设计？

let onlyFoos x = 
    match x with
        | Foo x -> Some x
        | _ -> None

let foos = fbs |> List.choose onlyFoos

let fooValues x = x + 1
let result = foos |> List.map (Foo << fooValues)

这个想法不是将DU标签与数据一起存储，而是仅存储数据。否则标签将是多余的，因为您知道所有元素将具有相同的标签。稍后，当您再次混合它们时，您可以轻松地重新标记它们。

转换受歧视联盟的特定成员名单的规范方法是什么？

1 个答案: