如何按匹配键合并两个LanguageExt Either<Error, List<T>>对象？

首先得拆解你遇到的问题：你写的LINQ查询之所以报错，核心是两个原因——一是into关键字的使用让之前的范围变量s1被“丢弃”了，二是Either作为错误处理的Monad，不能直接像普通集合那样嵌套查询。

为什么原来的代码会报错？ #

当你在LINQ里写select stuff into s1之后，后续的查询上下文就只认识s1了，但紧接着你又写了from otherStuff in eitherOtherStuff select otherStuff into s2，这时候查询上下文切换到了s2，之前的s1就不存在了，后面的join自然找不到它。更关键的是，Either类型的LINQ支持需要遵循Monad的绑定规则：必须先处理第一个Either的结果，在它的成功分支里再处理第二个Either，而不是并行嵌套。

最优实现方式 #

下面提供两种主流方案，你可以根据你的Either类型支持情况和团队编程风格选择：

方案1：利用LINQ查询语法（函数式风格）

如果你的Either类型已经实现了Select和SelectMany方法（这是Monad支持LINQ的标准要求），可以用更简洁的查询语法：

Either<Error, List<(Stuff, OtherStuff)>> eitherCombined = 
    from stuffList in eitherStuff
    from otherStuffList in eitherOtherStuff
    let joined = stuffList.Join(
        otherStuffList,
        s => s.Key1,
        os => os.Key2,
        (s, os) => (s, os) // 用值元组替代匿名类型，类型更安全
    )
    select joined.ToList();

这个逻辑的好处是：

• 自动处理错误分支：如果eitherStuff或eitherOtherStuff任意一个是Error，整个结果直接返回对应的错误，不会执行后续的join操作
• 代码简洁，符合函数式编程的错误处理范式
• 我把返回类型从List<object>改成了List<(Stuff, OtherStuff)>，避免了无类型的object，提升类型安全性

方案2：显式状态处理（更直观）

如果你的Either没有LINQ支持，或者团队更习惯命令式的错误处理，可以显式检查每个Either的状态：

Either<Error, List<(Stuff, OtherStuff)>> eitherCombined;

// 先检查第一个Either是否出错
if (eitherStuff.IsLeft)
{
    eitherCombined = Either<Error, List<(Stuff, OtherStuff)>>.Left(eitherStuff.LeftValue);
}
// 再检查第二个Either是否出错
else if (eitherOtherStuff.IsLeft)
{
    eitherCombined = Either<Error, List<(Stuff, OtherStuff)>>.Left(eitherOtherStuff.LeftValue);
}
// 两个都成功，执行合并
else
{
    var joined = eitherStuff.RightValue.Join(
        eitherOtherStuff.RightValue,
        s => s.Key1,
        os => os.Key2,
        (s, os) => (s, os)
    ).ToList();
    
    eitherCombined = Either<Error, List<(Stuff, OtherStuff)>>.Right(joined);
}

这种方式的优势是可读性极强，每个分支的逻辑都一目了然，适合新手或者对Monad不太熟悉的团队。

额外建议 #

尽量避免返回List<object>，改用强类型的结果（比如值元组、自定义的StuffWithOtherStuff DTO），这样能在编译期就发现类型错误，而不是等到运行时。

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