Question

在F＃和OCaml中，我最终写了很多像

这样的代码

type C = Blah of Whatever  
let d = Blah (createWhatever ())  // so d is type C  
...  
let x = match d with | Blah b -> b

我想要的是这个

...  
let x = peel d

剥离适用于任何构造函数/鉴别器当然，我不是唯一一个因此而烦恼的人编辑：很好的答案，但我没有代表对他们投票。这种情况怎么样？

member self.Length = match self with | L lab -> lab.Length

Answer 1

不可能安全地做到这一点：如果peel是一个函数，那么它的类型是什么？它不能打字，因此不能成为语言中的“好人”。

你可以：

使用反射（在F＃中）或类型破坏函数（在OCaml中它是Obj模块），但你会得到一些不安全的东西，不精确的类型，所以它相当丑陋并“使用你的自己承担风险“
使用元编程为您生成每种类型的peel的不同版本。例如，使用type-conv OCaml工具，您可以type blah = Blah of something隐式定义函数peel_blah，type foo = Foo of something定义peel_foo。

更好的解决方案是......首先不需要这样的peel。我看到两种可能性：

您可以使用聪明的模式而不是函数：使用let (Blah whatever) = f x或fun (Blah whatever) -> ...，您不再需要解包功能。
或者您可以代替撰写type blah = Blah of what，编写

type blah = (blah_tag * whatever) and blah_tag = Blah

这样，您没有总和类型，而是产品类型（您编写(Blah, whatever)），而您的peel只是snd。对于每个blah，foo等，您仍然有不同的（不兼容的）类型，但是统一的访问界面。

Answer 2

如上所述，let可以方便地进行模式匹配。如果要访问表达式中间的值（不允许使用模式），我建议在类型中添加成员：

type C = Blah of int
with member c.Value = match c with Blah x -> x

let x = Blah 5
let y = Blah 2
let sum = x.Value + y.Value

Answer 3

我会这样写：

type C = Blah of Whatever  
let d = Blah (createWhatever ())  // so d is type C  
...
let (Blah x) = d

对于你的第二种情况，我喜欢Laurent的member x.Value = match x with Blah v -> v。

Answer 4

适用于DUs ...需要调整才能使用类构造函数：

open Microsoft.FSharp.Reflection

let peel d = 
    if obj.ReferenceEquals(d, null) then nullArg "d"
    let ty = d.GetType()
    if FSharpType.IsUnion(ty) then
        match FSharpValue.GetUnionFields(d, ty) with
        | _, [| value |] -> unbox value
        | _ -> failwith "more than one field"
    else failwith "not a union type"

顺便说一下：我不会做这样的事情，但是因为你问过......

从构造函数中进行通用提取

4 个答案: