Package: ghc-strict (0.5-150500.3.3.1)

Questo pacchetto fornisce versioni strict di alcuni tipi di dati Haskell standard (coppie, Maybe e Either). Contiene inoltre operazioni di IO strict. È noto che le strutture dati lazy possono causare space-leaks. Questo problema è particolarmente evidente quando si usano strutture dati lazy per memorizzare lo stato di un'applicazione di lunga durata in memoria. Una soluzione comune a questo problema è usare 'seq' e le sue varianti in ogni pezzo di codice che aggiorna il proprio stato. Tuttavia una soluzione molto più semplice è usare tipi pienamente strict per memorizzare tali valori di stato. Per «tipi pienamente strict» intendiamo tipi per i cui valori vale che, se sono in forma normale di testa debole (weak-head normal form), allora sono anche in forma normale. Intuitivamente, ciò significa che i valori di tipi pienamente strict non possono contenere thunk non valutati. Per definire un tipo di dati pienamente strict, tipicamente si usa la seguente ricetta. 1. Rendi strict tutti i campi di ogni costruttore; cioè, aggiungi un bang a tutti i campi. 2. Usa solo tipi strict per i campi dei costruttori. Il secondo requisito è problematico poiché esclude l'uso dei tipi standard Haskell 'Maybe', 'Either' e delle coppie. Questa libreria risolve questo problema fornendo varianti strict di questi tipi e le corrispondenti funzioni di supporto standard e istanze di type-class. Si noti che questa libreria attualmente non fornisce liste pienamente strict. Possono essere aggiunte se sono davvero necessarie. Tuttavia, in molti casi si vuole probabilmente usare vettori unboxed o boxed strict della libreria 'vector' (<http://hackage.haskell.org/package/vector>) invece di liste strict. Inoltre, invece di 'String's si vuole probabilmente usare valori 'Text' strict dalla libreria 'text' (<http://hackage.haskell.org/package/text>). Questa libreria viene fornita con batterie incluse; cioè, funzioni specchio e istanze delle versioni lazy in 'base'. Include anche istanze per type-class dei pacchetti 'deepseq', 'binary' e 'hashable'.