Comprendre le séquençage des options dans Effect-TS

Exemple 1 : ignorer la première valeur avec O.andThen

Concept

La fonction O.andThen vous permet d'exécuter une séquence de deux options, où le résultat est déterminé uniquement par la deuxième option. Ceci est utile lorsque la première option sert un objectif, mais que sa valeur n'est pas nécessaire dans les opérations ultérieures.

Code

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)
}

Explication

• pipe(some1, O.andThen(some2)): Ici, some1 contient la valeur 1, mais l'opération l'ignore et renvoie some2, qui contient 2.
• pipe(none, O.andThen(some2)): Puisque la première option est None, l'opération court-circuite et renvoie None.

Cette opération de séquençage est particulièrement utile lorsque l'on souhaite enchaîner des opérations mais que l'on s'intéresse uniquement au résultat de la deuxième opération.

Exemple 2 : Aplatir les options imbriquées avec O.flatten

Concept

La fonction O.flatten est conçue pour gérer les options imbriquées en supprimant un niveau d'imbrication. Ceci est utile lorsque vos opérations aboutissent à une option d'option et que vous devez la simplifier en une seule option.

Code

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)
}

Explication

• pipe(nestedSome, O.flatten): Cela aplatit l'option de Option en une seule option, ce qui donne Some(1).
• pipe(nestedNone, O.flatten): L'option interne est None, donc l'aplatissement donne None.
• pipe(none, O.flatten): Si l'option externe est None, l'aplatissement n'a aucun effet et None est renvoyé.

L'aplatissement est essentiel lorsqu'il s'agit de fonctions pouvant renvoyer des options imbriquées, vous permettant de rationaliser le résultat en une seule valeur d'option.

Exemple 3 : Composer des fonctions renvoyant des options avec O.composeK

Concept

La fonction O.composeK vous permet de composer deux fonctions qui renvoient une option, créant ainsi un pipeline où la sortie de la première fonction est introduite dans la seconde. Ceci est particulièrement utile pour enchaîner des opérations qui peuvent échouer et aboutir à Aucun.

Code

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

  const doubleIfPositive = (n: number): O.Option<number> =>
    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)
}

Explication

• parseAndDouble('42'): La chaîne '42' est analysée avec succès en un nombre, et comme elle est positive, elle est doublée, ce qui donne Some(84).
• parseAndDouble('-1'): La chaîne '-1' est analysée, mais comme elle est négative, la fonction renvoie Aucun.
• parseAndDouble('abc'): La chaîne 'abc' ne peut pas être analysée comme un nombre, donc la fonction renvoie Aucun.

La composition de fonctions de retour d'options vous permet de créer des chaînes d'opérations complexes tout en gérant en toute sécurité les cas où n'importe quelle étape de la chaîne peut échouer.

Conclusion

Ces exemples mettent en valeur la polyvalence et la puissance du type Option dans Effect-TS pour la gestion des séquences d'opérations. Que vous ignoriez des valeurs avec O.andThen, aplatissiez des options imbriquées avec O.flatten ou composiez des opérations avec O.composeK, ces modèles vous permettent de gérer plus efficacement les valeurs facultatives dans un contexte de programmation fonctionnelle. En tirant parti de ces techniques, vous pouvez écrire un code plus robuste et plus concis, garantissant que les opérations gèrent correctement l'absence de valeurs tout en conservant une logique claire et lisible.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!