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이므로 함수는 Some(2)인 두 번째 옵션을 반환합니다.
• pipe(some1, O.zipRight(none)): 두 번째 옵션이 None이므로 함수는 None을 반환합니다.
• pipe(none, O.zipRight(some2)): 첫 번째 옵션은 None이므로 두 번째 옵션에 관계없이 함수는 None을 반환합니다.

이 기능은 결과가 두 번째 Option에만 의존하는 작업을 수행하려는 경우 특히 유용합니다.

예 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)): 두 옵션 모두 Some이므로 함수는 첫 번째 옵션인 Some(1)을 반환합니다.
• pipe(some1, O.zipLeft(none)): 두 번째 옵션은 None이므로 함수는 None을 반환합니다.
• pipe(none, O.zipLeft(some2)): 첫 번째 옵션이 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)): 두 번째 옵션이 None이므로 함수는 None을 반환합니다.
• pipe(none, O.zipWith(some2, add)): 첫 번째 옵션은 None이므로 함수는 None을 반환합니다.

이 기능은 작업이 수행되기 전에 두 값이 모두 존재하는지 확인하므로 두 옵션 값에 대해 작업을 수행해야 할 때 이상적입니다.

결론

Effect-TS의 옵션 압축은 옵션 값을 안전하게 결합하는 강력한 방법입니다. 첫 번째 옵션, 두 번째 옵션 또는 둘의 조합에 관심이 있든 상관없이 O.zipRight, O.zipLeft 및 O.zipWith 함수는 이러한 시나리오를 효율적으로 처리하는 데 필요한 도구를 제공합니다. 이러한 패턴을 이해하고 적용하면 더욱 강력하고 예측 가능한 기능 코드를 작성할 수 있습니다.