模式匹配并根据模式返回新对象

Question

假设我有一些像这样的代码，

match exp with
| Addition(lhs,rhs,_) -> Addition(fix lhs,fix rhs)
| Subtraction(lhs,rhs,_) -> Subtraction(fix lhs,fix rhs)

有什么方法可以让我做一些事情，比如

match exp with
| Addition(lhs,rhs,_)
| Subtraction(lhs,rhs,_) -> X(fix lhs,fix rhs)

X 是基于匹配的实际模式的

Answer 1

我喜欢@kvb 的回答。

但这确实表明您可能想要重新定义 DU：

type Op = | Add | Sub
type Expr = | Binary of Op * Expr * Expr

Answer 2

您可以使用活动模式：

let (|Binary|_|) = function
| Addition(e1,e2) -> Some(Addition, e1, e2)
| Subtraction(e1,e2) -> Some(Subtraction, e1, e2)
| _ -> None

let rec fix = function
| Binary(con,lhs,rhs) -> con(fix lhs, fix rhs)
| _ -> ...