Effect-TS 中的壓縮選項：實用指南

在函數式程式設計中，以安全且可預測的方式組合多個可選值（表示為選項）是一項常見任務。 Effect-TS 提供了多種將選項「壓縮」在一起的方法，讓您可以組合它們的值或根據特定規則選擇一個。在本文中，我們將探討壓縮選項的三個關鍵函數：O.zipRight、O.zipLeft 和 O.zipWith。

範例 1：使用 O.zipRight 傳回第二個選項

概念

O.zipRight 函數可讓您組合兩個選項，丟棄第一個並傳回第二個。如果兩個選項均為 Some，則此操作成功；否則，傳回 None。

程式碼

function zipping_ex01() {
  const some1 = O.some(1); // Create an Option containing the value 1
  const some2 = O.some(2); // Create an Option containing the value 2
  const none = O.none(); // Create an Option representing no value

  console.log(pipe(some1, O.zipRight(some2))); // Output: Some(2) (returns the second Option)
  console.log(pipe(some1, O.zipRight(none))); // Output: None (since the second Option is None)
  console.log(pipe(none, O.zipRight(some2))); // Output: None (since the first Option is None)
}

解釋

• pipe(some1, O.zipRight(some2)): some1和some2都是Some，所以函數回傳第二個Option，即Some(2)。
• pipe(some1, O.zipRight(none)): 由於第二個 Option 為 None，因此函數傳回 None。
• pipe(none, O.zipRight(some2)): 第一個 Option 為 None，因此無論第二個 Option 如何，該函數都會傳回 None。

當您想要執行結果僅取決於第二個選項的操作時，此函數特別有用。

範例 2：使用 O.zipLeft 傳回第一個選項

概念

O.zipLeft 函數與 O.zipRight 相對應，讓您可以組合兩個選項，同時丟棄第二個選項並傳回第一個選項。同樣，如果兩個選項均為 Some，則此操作成功；否則，返回 None。

程式碼

function zipping_ex02() {
  const some1 = O.some(1); // Create an Option containing the value 1
  const some2 = O.some(2); // Create an Option containing the value 2
  const none = O.none(); // Create an Option representing no value

  console.log(pipe(some1, O.zipLeft(some2))); // Output: Some(1) (returns the first Option)
  console.log(pipe(some1, O.zipLeft(none))); // Output: None (since the second Option is None)
  console.log(pipe(none, O.zipLeft(some2))); // Output: None (since the first Option is None)
}

解釋

• pipe(some1, O.zipLeft(some2)): 由於兩個 Options 都是 Some，所以函數傳回第一個 Option，即 Some(1)。
• pipe(some1, O.zipLeft(none)): 第二個Option是None，所以函數回傳None。
• pipe(none, O.zipLeft(some2)): 由於第一個 Option 為 None，因此函數傳回 None。

當結果應由第一個選項決定，但您仍想確保第二個選項有效時，此功能很有用。

範例 3：使用 O.zipWith 將選項與函數組合

概念

O.zipWith 函數提供了最大的靈活性，讓您可以使用提供的函數組合兩個選項的值。如果兩個選項都是 Some，則套用該函數，並將結果包裝在新選項中。如果任一 Option 為 None，則函數傳回 None。

程式碼

function zipping_ex03() {
  const some1 = O.some(1); // Create an Option containing the value 1
  const some2 = O.some(2); // Create an Option containing the value 2
  const none = O.none(); // Create an Option representing no value
  const add = (a: number, b: number) => a   b;

  console.log(pipe(some1, O.zipWith(some2, add))); // Output: Some(3) (since 1   2 = 3)
  console.log(pipe(some1, O.zipWith(none, add))); // Output: None (since the second Option is None)
  console.log(pipe(none, O.zipWith(some2, add))); // Output: None (since the first Option is None)
}

解釋

• pipe(some1, O.zipWith(some2, add)): 兩個選項都是 Some，所以應用了 add 函數，結果是 Some(3).
• pipe(some1, O.zipWith(none, add)): 由於第二個 Option 為 None，因此函數傳回 None。
• pipe(none, O.zipWith(some2, add)): 第一個 Option 為 None，因此函數傳回 None。

當您需要對兩個選項的值執行操作時，此函數非常理想，因為它可以確保在執行操作之前兩個值都存在。

結論

Effect-TS 中的壓縮選項是安全組合可選值的強大方法。無論您對第一個選項、第二個選項還是兩者的組合感興趣，O.zipRight、O.zipLeft 和 O.zipWith 函數都提供了有效處理這些場景所需的工具。透過理解和應用這些模式，您可以編寫更健全且可預測的功能程式碼。