如何实现布尔返回的类Option.bind操作并切换至F#管道工作流？

我想实现一个针对布尔返回值的bind式操作（命名为|>>，意为“为true则继续”），之后切换到F#标准管道|>工作流，但编译器报错了。我疑惑的是：doSomething1的输出并没有传入|>>，为什么编译器会在意它的类型？

代码示例：

// 命令式库的函数风格
// y是outref，但被定义为byref<'T>
// 必须定义可变变量来获取输出，不能用 let boolRes, y = CreateY x
let CreateY (x, y: byref<'T>) = 
    if x > 0 then 
        y <- x
        true
    else false

// 我的代码：实现“为true则继续”的逻辑
// 目前无法正常工作
let (|>>) f b =
    match b with
    | true -> f
    | false -> false

// 获取所有参数后，想用F#风格的管道处理
let doSomething1 y1 y2 y3 = 
    let y4: int = y1 + y2 + y3
    printfn "我拿到了 %i、%i、%i，现在可以生成 %i" y1 y2 y3 y4
    y4

let doSomething2 y4 = 
    let y5: int = y4 * 2
    y5

let whyWontThisWork () = 
    let mutable y1 = 0
    let mutable y2 = 0
    let mutable y3 = 0

    CreateY(0, &y1)
    |>> CreateY(2, &y2)
    |>> CreateY(3, &y3)
    |>> doSomething1 y1 y2 y3 // 编译器提示：应为bool类型？
    |> doSomething2 // 编译器提示：期望bool -> 'a类型？

1. 自定义运算符|>>的核心逻辑错误 #

你定义的|>>当前类型是'a -> bool -> 'a，但完全不符合你想要的“前一步为true就执行后续操作”的逻辑：

• 现在的写法是，当b为true时直接返回f（也就是你写在运算符右边的代码），而不是执行f并返回结果。
• 前几步CreateY返回的是bool，通过|>>传递后，编译器会认为后续所有传入|>>的内容都必须是bool类型，但doSomething1 y1 y2 y3返回的是int，类型直接冲突，所以报错。
• 到|>这一步时，前面的结果被推断为bool，但doSomething2需要int参数，自然也不匹配。

2. 修正运算符逻辑与流程切换 #

正确的|>>应该是：接收前一步的布尔结果，以及一个返回布尔值的操作函数，当结果为true时执行这个函数并返回其结果；为false时直接返回false。如果要切换到返回非布尔值的函数，需要额外处理“失败分支”（比如用Option类型包装结果）。

修正后的完整代码 #

// 原命令式库函数保持不变
let CreateY (x, y: byref<'T>) = 
    if x > 0 then 
        y <- x
        true
    else false

// 修正后的“为true则继续”运算符
// 类型：bool -> (unit -> bool) -> bool
let (|>>) prevResult nextOp =
    if prevResult then nextOp() else false

// 辅助函数：从布尔流程切换到普通流程，失败时返回None
let switchToNormal prevResult nextOp =
    if prevResult then Some(nextOp()) else None

// 业务函数保持不变
let doSomething1 y1 y2 y3 = 
    let y4 = y1 + y2 + y3
    printfn "我拿到了 %i、%i、%i，现在可以生成 %i" y1 y2 y3 y4
    y4

let doSomething2 y4 = 
    y4 * 2

let nowItWorks () = 
    let mutable y1 = 0
    let mutable y2 = 0
    let mutable y3 = 0

    // 布尔流程阶段：所有操作都返回bool，用|>>串联
    let finalBool =
        CreateY(0, &y1)
        |>> (fun () -> CreateY(2, &y2))
        |>> (fun () -> CreateY(3, &y3))
    
    // 切换到普通管道流程：处理布尔结果，执行后续操作
    match switchToNormal finalBool (fun () -> doSomething1 y1 y2 y3) with
    | Some y4 -> y4 |> doSomething2
    | None -> 0 // 前一步失败时的默认值

关键说明 #

• 修正后的|>>要求后续操作是unit -> bool类型的函数，这样才能在需要时执行它，保证布尔类型链的一致性。
• switchToNormal函数专门处理布尔流程到普通流程的切换，通过Option类型明确处理“前一步失败”的情况，避免类型冲突。
• 你之前直接写doSomething1 y1 y2 y3会立即执行函数并返回int，但|>>需要的是返回bool的操作，所以必须把后续操作包装成函数，并通过切换函数完成类型转换。

内容的提问来源于stack exchange，提问作者EricP