[译] 暗藏的 Haskell 惯用法：Guard-Sequence 和 Conditional For (2025)

Haskell 中的 Guard-Sequence 和 Conditional For 惯用法解析

在 Haskell 中，guard-sequence 和 conditional for 是两种常见的惯用法，它们通过组合标准库函数和运算符，实现了简洁且富有表现力的条件逻辑和副作用处理。以下是对这两种惯用法的详细解析。

guard-sequence 惯用法主要用于根据条件选择性地返回某个值或执行某个操作。它有三种常见的形式：

• 功能：当条件为真时，执行副作用 action；否则失败。
• 示例：guard (age >= 18) *> munch1 isLetter

  如果 age >= 18 为真，则执行 munch1 isLetter（一个解析器操作）；否则失败。

  适用于需要条件性执行副作用的场景，如解析、IO 操作等。

• 功能：当条件为真时返回 value，否则返回一个失败（通常是 Nothing 或抛出异常）。
• 示例：guard (age >= 18) $> ticket_for person

  如果 age >= 18 为真，返回 ticket_for person；否则返回 Nothing。

  类似于 ensure 函数，但更通用，适用于任何支持失败机制的类型（如 Maybe、Parser 等）。

• 功能：与 guard condition $> value 类似，但强调返回的值而非条件本身。
• 示例：ticket_discount <$ guard (age >= 18 && age <= 24 || age >= 65)

  如果年龄在 18-24 或 65 岁以上，返回 ticket_discount；否则返回 Nothing。

  更直观地表达了“如果条件满足，则返回某个值”的逻辑。

• 标准库支持：guard 和 $>/*> 是标准库函数，无需额外定义。
• 灵活性：可以处理纯值、副作用（如解析器、IO）等多种场景。
• 清晰性：在处理多个条件时，逻辑更清晰，避免了 JavaScript 中 && 和 || 的混淆。

conditional for 惯用法用于在某个值存在时执行副作用，否则不执行任何操作。其形式为：

• 功能：如果 value 存在（如 Just x 或非空列表），则对其执行 action；否则不执行。

• 示例 1：处理 Maybe 值

  for_ corsOrigin $ addHeader "Access-Control-Allow-Origin"

  如果 corsOrigin 是 Just origin，则调用 addHeader；否则不执行。

  避免了默认添加空头信息的问题。

• 示例 2：处理列表

  for_ cookieData $ addHeader "Set-Cookie" . formatCookie

  遍历 cookieData 列表，对每个元素格式化并添加头信息。

  如果列表为空，则不执行任何操作。

for_ 的实现通常基于 maybe 或 traverse_，例如：

• 对于 Maybe a，for_ 会在 Just 时执行 action，Nothing 时跳过。
• 对于列表 [a]，for_ 会遍历列表并对每个元素执行 action。

• 简洁性：避免了显式的 case 或 if 判断。
• 通用性：适用于任何 Foldable 类型（如 Maybe、列表、Vector 等）。
• 可读性：直接表达了“仅在值存在时执行副作用”的意图。

• Guard-Sequence：

  用于条件性返回值或执行副作用。

  三种形式：*>、$>、<$，分别适用于不同场景。

  比自定义 ensure 更灵活、更通用。

• Conditional For：

  用于在值存在时执行副作用。

  基于 for_ 或 traverse_ 实现，支持多种容器类型。

  避免了显式的条件判断，代码更简洁。

这两种惯用法充分利用了 Haskell 的标准库函数和类型类（如 Monad、Functor、Foldable），展示了函数式编程中“组合优于继承”的思想。通过熟练掌握这些惯用法，可以写出更简洁、更表达性的 Haskell 代码。