Package: ghc-strict (0.5.1-bp160.1.11)

Este paquete proporciona versiones estrictas de algunos tipos de datos estándar de Haskell (pares, Maybe y Either). También contiene operaciones de IO estrictas. Es de conocimiento común que las estructuras de datos lazy pueden provocar space-leaks. Este problema es especialmente prominente cuando se usan estructuras de datos lazy para almacenar el estado de una aplicación de larga ejecución en memoria. Una solución habitual a este problema es usar 'seq' y sus variantes en cada fragmento de código que actualiza su estado. Sin embargo, una solución mucho más sencilla es usar tipos totalmente estrictos para almacenar dichos valores de estado. Por «tipos totalmente estrictos» entendemos tipos para cuyos valores se cumple que, si están en forma normal de cabeza débil (weak-head normal form), entonces también están en forma normal. Intuitivamente, esto significa que los valores de tipos totalmente estrictos no pueden contener thunks no evaluados. Para definir un tipo de datos totalmente estricto, normalmente se usa la siguiente receta. 1. Haga estrictos todos los campos de cada constructor; es decir, añada un bang a todos los campos. 2. Use solo tipos estrictos para los campos de los constructores. El segundo requisito es problemático, ya que descarta el uso de los tipos estándar de Haskell 'Maybe', 'Either' y de pares. Esta biblioteca resuelve este problema proporcionando variantes estrictas de estos tipos y sus correspondientes funciones de soporte estándar e instancias de clases de tipos. Tenga en cuenta que esta biblioteca actualmente no proporciona listas totalmente estrictas. Se pueden añadir si realmente se requieren. Sin embargo, en muchos casos probablemente se quiera usar vectores unboxed o boxed estrictos de la biblioteca 'vector' (<http://hackage.haskell.org/package/vector>) en lugar de listas estrictas. Además, en lugar de 'String's probablemente se quiera usar valores 'Text' estrictos de la biblioteca 'text' (<http://hackage.haskell.org/package/text>). Esta biblioteca viene con baterías incluidas; es decir, funciones espejo e instancias de las versiones lazy en 'base'. También incluye instancias para clases de tipos de los paquetes 'deepseq', 'binary' y 'hashable'.