Package: ghc-strict (0.5.1-2.12)

Dieses Paket stellt strikte Versionen einiger standardmäßiger Haskell-Datentypen bereit (Paare, Maybe und Either). Es enthält außerdem strikte IO-Operationen. Es ist allgemein bekannt, dass lazy Datenstrukturen zu Space-Leaks führen können. Dieses Problem tritt besonders dann auf, wenn lazy Datenstrukturen verwendet werden, um den Zustand einer langlebigen Anwendung im Speicher zu halten. Eine gängige Lösung für dieses Problem besteht darin, in jedem Codeabschnitt, der Ihren Zustand aktualisiert, 'seq' und dessen Varianten zu verwenden. Eine deutlich einfachere Lösung besteht jedoch darin, vollständig strikte Typen zum Speichern solcher Zustandswerte zu verwenden. Unter „vollständig strikten Typen“ verstehen wir Typen, für deren Werte gilt: Wenn sie in Weak-Head-Normalform sind, dann sind sie auch in Normalform. Intuitiv bedeutet dies, dass Werte vollständig strikter Typen keine unevaluierten Thunks enthalten können. Um einen vollständig strikten Datentyp zu definieren, verwendet man typischerweise das folgende Rezept. 1. Machen Sie alle Felder jedes Konstruktors strikt; d. h., fügen Sie allen Feldern einen Bang hinzu. 2. Verwenden Sie für die Felder der Konstruktoren nur strikte Typen. Die zweite Anforderung ist problematisch, da sie die Verwendung der standardmäßigen Haskell-Typen 'Maybe', 'Either' und Paartypen ausschließt. Diese Bibliothek löst dieses Problem, indem sie strikte Varianten dieser Typen sowie die entsprechenden Standard- Hilfsfunktionen und Typklassen-Instanzen bereitstellt. Beachten Sie, dass diese Bibliothek derzeit keine vollständig strikten Listen bereitstellt. Sie können hinzugefügt werden, falls sie wirklich benötigt werden. In vielen Fällen möchte man jedoch wahrscheinlich ungeboxte oder strikt geboxte Vektoren aus der Bibliothek 'vector' (<http://hackage.haskell.org/package/vector>) anstelle strikter Listen verwenden. Zudem möchte man statt 'String's wahrscheinlich strikte 'Text'-Werte aus der Bibliothek 'text' (<http://hackage.haskell.org/package/text>) verwenden. Diese Bibliothek kommt mit Batterien inklusive; d. h., Spiegel-Funktionen und Instanzen der lazy Versionen in 'base'. Sie enthält außerdem Instanzen für Typklassen aus den Paketen 'deepseq', 'binary' und 'hashable'.