Haskell中类似`firstReady`的`[m a] -> m a`操作是否有标准名称？

1. 逻辑与/逻辑或隐喻的可推广性 #

你提到的sequenceA（等待全部Future就绪，类似逻辑与）和firstReady（取第一个就绪的Future值，类似逻辑或）的隐喻，完全可以推广到其他Monad和可遍历结构，核心对应两种不同的聚合策略：

• 逻辑与型聚合：要求所有子计算都"成功"，并收集全部结果，对应Traversable类型类的sequenceA操作。
• 逻辑或型聚合：只要有一个子计算"成功"，就返回第一个成功的结果，忽略后续计算，对应基于Alternative类型类的折叠操作。

举几个不同Monad的实例：

• Maybe Monad：
  • sequenceA [Just 1, Just 2, Just 3] → Just [1,2,3]（所有元素为Just才返回结果，类似逻辑与）
  • 对应逻辑或操作：foldr (<|>) Nothing [Nothing, Just 2, Just 3] → Just 2（取第一个非Nothing的值）
• Either Monad：
  • sequenceA [Right 1, Right 2] → Right [1,2]（所有元素为Right才返回结果）
  • 对应逻辑或操作：foldr (<|>) (Left "all failed") [Left "err1", Right 2, Right 3] → Right 2（取第一个Right的值）
• IO Monad：
  • sequenceA [putStrLn "a", putStrLn "b"] → 依次执行两个IO操作并收集结果（类似逻辑与，全部执行）
  • 对应逻辑或操作：尝试执行第一个IO，成功则返回结果，否则执行下一个（适用于处理可能失败的IO场景）

2. [m a] -> m a类型操作的标准名称 #

这类"取第一个成功结果"的[m a] -> m a操作，通常称为Alternative折叠操作，本质是用Alternative类型类的<|>（二元选择操作符）对列表进行折叠，即foldr (<|>) empty，其中：

• <|>：语义为"尝试第一个操作，成功则返回结果；否则尝试第二个"
• empty：Alternative的单位元，代表"失败"基准值（比如Future的never、Maybe的Nothing、Either的Left值）

部分场景下也会被称为choice组合子，但最标准的称呼还是基于Alternative类型类的折叠实现。

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