从构造函数的泛型提取

| 在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

在哪里pepe适用于任何构造函数/判别器。当然，我不是唯一一个为此烦恼的人。编辑：好的答案，但我没有代表对它们进行投票。这种情况怎么样？

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

已邀请:

4 个回复

鞋扣蚊冈借

不可能安全地执行此操作：如果peel是一个函数，它的类型是什么？它不能被键入，因此不能成为该语言中的“好人”。你可以：使用反射（在F＃中）或类型破坏函数（在OCaml中是Obj模块），但是使用不精确的类型会导致某些不安全的情况，因此使用起来非常丑陋，“使用风险自负” ” 使用元编程为每种类型生成peel的不同版本。例如，使用类型转换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等仍然具有不同（不兼容）的类型，但是具有统一的访问接口。

久坡

如前所述，ѭ20方便进行模式匹配。如果要访问不允许使用模式的表达式中间的值，建议将成员添加到类型中：

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

岭取

我会这样写：

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

对于您的第二种情况，我喜欢Laurent的《ѭ23》。

课刊灭似

适用于DU的作品...将需要进行调整以使用类构造函数：

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 个回复

发起人

f#

pattern_matching

问题状态

从构造函数的泛型提取

与内容相关的链接

4 个回复

发起人

f#

pattern_matching

问题状态