Effect-TS bietet effiziente Möglichkeiten, mit Optionssammlungen zu arbeiten, sodass Sie Operationen nur für Nicht-Keine-Werte ausführen können. Eine dieser Operationen ist das Falten, bei dem Werte zu einem einzigen Ergebnis kombiniert werden. In diesem Artikel untersuchen wir die Funktion O.reduceCompact, die eine Iterable von Optionen reduziert, indem sie eine Reduktionsfunktion auf die Nicht-None-Werte anwendet.

Beispiel 1: Reduzieren einer Iterable von Optionen mit O.reduceCompact

Konzept

Die Funktion O.reduceCompact nimmt eine Iterable von Optionen und reduziert sie auf einen einzelnen Wert, indem sie eine Reduktionsfunktion auf die Nicht-Keine-Werte anwendet. Wenn eine Option None ist, wird sie bei der Reduzierung ignoriert.

Code

function folding_ex01() {
  const options = [O.some(1), O.none(), O.some(2), O.none(), O.some(3)]; // Create an iterable of Options
  const sum = (acc: number, value: number) => acc   value;

  console.log(pipe(options, O.reduceCompact(0, sum))); // Output: 6 (sums all non-None values: 1   2   3)
}

Erläuterung

• pipe(options, O.reduceCompact(0, sum)): Die Funktion beginnt mit einem Anfangswert von 0 und iteriert über das Array von Optionen. Es wendet die Summenfunktion auf die Nicht-Keine-Werte an und akkumuliert das Ergebnis. In diesem Fall werden 1, 2 und 3 addiert, was 6 ergibt. Alle None-Werte werden dabei ignoriert.

Diese Funktion ist nützlich, wenn Sie Werte aus einer Iteration von Optionen aggregieren müssen, um sicherzustellen, dass nur die Nicht-Keine-Werte berücksichtigt werden.

Abschluss

Faltoptionen mit O.reduceCompact in Effect-TS bieten eine leistungsstarke Möglichkeit, Werte zu aggregieren und dabei None-Werte zu überspringen. Dadurch wird sichergestellt, dass beim Reduktionsprozess nur sinnvolle Werte berücksichtigt werden, was es zu einem effektiven Werkzeug für die sichere Kombination optionaler Daten macht. Durch die Nutzung dieser Funktion können Sie Sammlungen von Optionen sauber und effizient verarbeiten, ohne None-Werte explizit in Ihrer Logik verarbeiten zu müssen.