Пример 1. Игнорирование первого значения с помощью O.andThen

Концепция

Функция O.andThen позволяет выполнить последовательность из двух вариантов, где результат определяется исключительно вторым вариантом. Это полезно, когда первый параметр служит определенной цели, но его значение не требуется в последующих операциях.

Код

function sequencing_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.andThen(some2))); // Output: Some(2) (ignores 1 and returns 2)
  console.log(pipe(none, O.andThen(some2))); // Output: None (since the first Option is None)
}

Объяснение

• pipe(some1, O.andThen(some2)): Здесь some1 содержит значение 1, но операция игнорирует его и возвращает some2, который содержит 2.
• pipe(none, O.andThen(some2)): Поскольку первый параметр равен None, операция сокращается и возвращает None.

Эта операция упорядочивания особенно полезна, когда вы хотите объединить операции в цепочку, но вас интересует только результат второй операции.

Пример 2. Сведение вложенных параметров с помощью O.flatten

Концепция

Функция O.flatten предназначена для обработки вложенных параметров путем удаления одного уровня вложенности. Это полезно, когда ваши операции приводят к варианту варианта, и вам нужно упростить его до одного варианта.

Код

function sequencing_ex02() {
  const nestedSome = O.some(O.some(1)); // Create a nested Option containing the value 1
  const nestedNone = O.some(O.none()); // Create a nested Option representing no value
  const none = O.none(); // Create an Option representing no value

  console.log(pipe(nestedSome, O.flatten)); // Output: Some(1) (flattens the nested Option)
  console.log(pipe(nestedNone, O.flatten)); // Output: None (flattens to None)
  console.log(pipe(none, O.flatten)); // Output: None (since the outer Option is None)
}

Объяснение

• pipe(nestedSome, O.flatten): Это объединяет Option из Option в один Option, в результате чего получается Some(1).
• pipe(nestedNone, O.flatten): Внутренний параметр — None, поэтому в результате сглаживания будет None.
• pipe(none, O.flatten): Если внешний параметр имеет значение None, сведение не имеет никакого эффекта и возвращается None.

Сведение имеет важное значение при работе с функциями, которые могут возвращать вложенные параметры, позволяя упростить результат в одно значение параметра.

Пример 3. Составление функций, возвращающих параметры, с помощью O.composeK

Концепция

Функция O.composeK позволяет объединить две функции, возвращающие параметр, создавая конвейер, в котором выходные данные первой функции передаются во вторую. Это особенно полезно для объединения операций, которые могут завершиться неудачно и привести к результату None.

Код

function sequencing_ex03() {
  const parseNumber = (s: string): O.Option => {
    const n = parseInt(s, 10);
    return isNaN(n) ? O.none() : O.some(n);
  };

  const doubleIfPositive = (n: number): O.Option =>
    n > 0 ? O.some(n * 2) : O.none();

  const parseAndDouble = pipe(parseNumber, O.composeK(doubleIfPositive));

  console.log(parseAndDouble('42')); // Output: Some(84) (parses and doubles the number)
  console.log(parseAndDouble('-1')); // Output: None (since -1 is not positive)
  console.log(parseAndDouble('abc')); // Output: None (since 'abc' is not a number)
}

Объяснение

• parseAndDouble('42'): Строка '42' успешно преобразуется в число, и, поскольку оно положительное, оно удваивается, в результате чего получается Some(84).
• parseAndDouble('-1'): Строка '-1' анализируется, но, поскольку она отрицательна, функция возвращает None.
• parseAndDouble('abc'): Строку 'abc' нельзя проанализировать как число, поэтому функция возвращает None.

Составление функций, возвращающих параметры, позволяет создавать сложные цепочки операций, одновременно безопасно обрабатывая случаи, когда любой шаг в цепочке может привести к сбою.

Заключение

Эти примеры демонстрируют универсальность и возможности типа Option в Effect-TS для обработки последовательностей операций. Независимо от того, игнорируете ли вы значения с помощью O.andThen, выравниваете вложенные параметры с помощью O.flatten или составляете операции с помощью O.composeK, эти шаблоны позволяют более эффективно управлять необязательными значениями в контексте функционального программирования. Используя эти методы, вы можете писать более надежный и лаконичный код, гарантируя, что операции корректно обрабатывают отсутствие значений, сохраняя при этом четкую и удобочитаемую логику.