Either Monad问题：如何收集所有Right值并在最后统一处理？

嘿，我完全get到你的需求——你想处理一批Either结果，把所有Right的值收集起来统一处理，但只要其中有一个Left，整个流程就得立刻终止返回错误对吧？你提到用柯里化+Applicative Functor的思路完全正确，monet.js的Either本身就支持Applicative特性，咱们来把代码调通！

核心思路回顾 #

Applicative Functor的核心能力之一就是并行处理多个容器值，全成功则合并结果，任一失败则直接返回第一个失败值，刚好匹配你的需求。而柯里化是为了让我们的处理函数能逐个接收Either容器里的值。

完整实现步骤（基于monet.js + lodash） #

1. 基础依赖引入

const { Either, Right, Left } = require('monet');
const _ = require('lodash');

2. 模拟待处理的Either结果/函数

先模拟几个返回Either的操作，可能是API请求、数据校验之类的：

// 示例1：独立的Either结果数组
const eitherResults = [
  Right({ id: 1, name: 'Alice' }),
  Right([{ orderId: 101 }, { orderId: 102 }]),
  Right({ total: 300 })
];

// 示例2：返回Either的函数（如果需要先执行这些函数得到结果）
const validateUser = (userId) => userId > 0 ? Right(userId) : Left('用户ID无效');
const fetchUserInfo = (id) => Right({ id, name: 'Bob' });
const fetchUserOrders = (user) => Right([{ id: 201, amount: 150 }]);

3. 方式一：处理已有的Either数组（最直接）

用monet.js提供的Either.sequence方法，把一个Either数组转换成一个包含结果数组的Either：

• 如果所有元素都是Right，最终返回Right([所有Right的值])
• 只要有一个Left，直接返回第一个出现的Left

// 收集所有Right值
const collected = Either.sequence(eitherResults);

// 统一处理结果
collected.cata(
  (error) => {
    console.error('流程终止，错误:', error);
    // 这里处理失败逻辑
  },
  (allRightValues) => {
    console.log('所有成功结果:', allRightValues);
    // 这里做统一处理，比如聚合数据
    const [user, orders, payment] = allRightValues;
    console.log(`用户${user.name}共有${orders.length}笔订单，总消费${payment.total}元`);
  }
);

4. 方式二：结合柯里化处理有依赖的操作

如果你的操作是有依赖关系的（比如先验证用户ID，再用ID查信息，再用信息查订单），可以用柯里化+Applicative的ap方法来链式组合：

// 柯里化一个最终处理函数，接收三个参数
const processUserAndOrders = _.curry((userId, userInfo, orders) => {
  const totalAmount = orders.reduce((sum, o) => sum + o.amount, 0);
  return Right({
    userId,
    userName: userInfo.name,
    totalSpent: totalAmount
  });
});

// 用Applicative组合操作：任一环节失败则直接返回Left
const result = processUserAndOrders
  (validateUser(2)) // 先传入第一个Either
  .ap(fetchUserInfo) // 传入第二个接收前一个结果的函数返回的Either
  .ap(fetchUserOrders);

// 处理结果
result.cata(
  err => console.error('失败:', err),
  data => console.log('最终处理结果:', data)
);

为什么你的之前代码可能失败？ #

大概率是这两个原因：

• 没有正确使用Either.sequence来批量处理数组，而是误用了Monad的flatMap（flatMap是链式依赖，会逐个执行，但不会批量收集结果）
• 柯里化的函数没有和Applicative的ap方法正确结合，比如没有把函数转换成接收Either容器的形式

测试错误场景 #

咱们来验证一下Left出现时的快速失败：

const badResults = [Right('a'), Left('某个环节出错了'), Right('c')];
const failedCollection = Either.sequence(badResults);

failedCollection.cata(
  err => console.error('快速失败:', err), // 会打印"快速失败: 某个环节出错了"
  vals => console.log(vals) // 这部分不会执行
);

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