計算式カスタム "条件"演算子を定義できません

Question

次のコードでは、conditionの定義には深刻な問題があります。例えば、そして洞察を望ん：

// a computation expression builder class 
type Builder() = 
    . 
    . 
    . 

    [<CustomOperation("condition", 
     MaintainsVariableSpaceUsingBind = true)>] 
    member this.Condition(p, [<ProjectionParameter>] b) = 
     condition p b 

let attemp = AttemptBuilder() 

let test = 
    attempt { let x, y = exp1, exp2 
       condition booleanExpr(x, y) 
       return (x, y) } 

私はbが暗黙的(fun x, y -> booleanExpr(x, y))であると推定。 booleanExpr(x, y)という用語は、xとyを含む単なるブール式です。

Answer 1

はそれを見つけた：

let condition p guard = (fun() -> 
    match p() with 
    | Some x when guard x -> Some x 
    | _ -> None)