f# - 通过模式匹配比较 F# 区分的联合实例

Question

首先，为糟糕的标题道歉 - 我对 F# 的了解不够充分，无法更好地描述问题。

考虑这个简单的 DU:

type Money =
    | USD of decimal
    | GBP of decimal
    | EUR of decimal
    static member (+) (first: Money, second: Money) =
        match first, second with 
        | USD(x), USD(y) -> USD(x + y)
        | GBP(x), GBP(y) -> GBP(x + y)
        | EUR(x), EUR(y) -> EUR(x + y)
        | _ -> failwith "Different currencies"

我用不同的货币表示钱，并重载 (+) 运算符，以便我可以安全地执行 Money + Money。但是，如果我有很多货币，那么写匹配语句就会变得乏味。有没有什么表达方式，比如:

match first, second with 
| _(x), _(y) -> _(x + y)

还是有不同的方法来达到相同的结果？由于 here 中描述的限制，我已经考虑并放弃了度量单位.

Answer 1

这对你有用吗？

type Kind = | USD | GBP | EUR

type Money = 
    | Money of Kind * decimal 
    static member (+) (first: Money, second: Money) = 
        match first, second with  
        | Money(k1,x), Money(k2,y) when k1=k2 -> Money(k1, x + y) 
        | _ -> failwith "Different currencies"