F#中如何合并两个Result值并简化现有模式匹配实现？

优化方案 #

你当前的模式匹配逻辑完全正确，只是4个分支的写法扩展性差——如果后续要合并更多Result值，分支数量会指数级增长。可以根据你是否需要「保留所有错误信息」的需求，选下面两种简化写法：

1. 短路返回（遇到第一个错误就直接返回，不收集后续错误）

这是F# Result类型的默认行为，直接用内置的Result计算表达式就能写得非常简洁，不需要手写任何模式匹配：

let rangeToList (from, ``to``) = result {
    let! first = from
    let! last = ``to``
    return [first..last]
}

注意：这个写法如果两个输入都是Error，只会返回第一个错误，不会像你原来的实现那样把两个错误用分号拼接。

2. 保留全错误收集（和你当前实现逻辑完全一致）

如果需要保留「收集所有错误、拼接后返回」的逻辑，可以先单独提取错误列表，不需要枚举所有Ok/Error的组合分支：

let rangeToList (from, ``to``) =
    let errors = [
        match from with Error e -> yield e | Ok _ -> ()
        match ``to`` with Error e -> yield e | Ok _ -> ()
    ]
    if errors |> List.isEmpty |> not then
        Error (String.concat "; " errors)
    else
        let (Ok first) = from
        let (Ok last) = ``to``
        Ok [first..last]

这个写法的扩展性很好，后续如果要加第3、第4个Result类型的输入参数，只要在errors列表里加对应的错误匹配就行，不需要新增指数级的模式匹配分支。如果后续做FizzBuzz要扩展更多输入校验项（比如自定义Fizz/Buzz的整除值），这种错误收集的写法会比全分支匹配维护成本低很多。

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