inheritance - 有区别的联合成员方法

Question

我想定义一个被歧视联合的所有成员共享的方法。目前我已经像这样实现了它，但它看起来很不优雅——当然有更好的方法。建议？

type A = 
   {AData:string}
   member this.SharedMethod (x:float) : int= ...
type B =
   {BData:float}
   member this.SharedMethod (x:float) : int= ...
type AB =
| A of A
| B of B

let CallSharedMethod (ab:AB) x =
   match ab with
   | AB.A(a') -> a'.SharedMethod x
   | AB.B(b') -> b'.SharedMethod x

Answer 1

这样的事情怎么办？

type AB =
    | A of string
    | B of float

    member self.SharedMethod (x : float) =
        match self with
        | A s -> x
        | B f -> f + x

这假设您希望 sum 类型的每个变体(又名可区分联合)对 float 参数执行不同的操作。

对于 A 的情况，我只是返回原始值，因为我无能为力(因为在 string 和 float 之间没有普遍有用的关系会产生 float )。