Las fugas de espacio en Haskell pueden limitar el crecimiento de la memoria o provocar errores de corrección cuando una estructura thunk conserva referencias o aplaza evaluaciones necesarias. Este artículo propone prevenirlas mediante patrones de programación defensivos y detectarlas con perfiles de ejecución. Para analizar su comportamiento, utiliza el código STG generado por GHC como modelo operativo, donde las asignaciones de thunks, las evaluaciones, las variables libres y las aplicaciones saturadas quedan explícitas.
La clasificación presentada distingue tres tipos relevantes. Las fugas de estrictez aparecen en funciones recursivas, enlaces de DSL como >>= y operaciones repetidas como ++: cada llamada construye otro thunk dependiente del anterior. Las fugas de vitalidad mantienen vivo un valor voluminoso porque una referencia queda atrapada en un thunk de una canalización. Las fugas por compartición excesiva se producen cuando un generador grande es evaluado por una canalización y su resultado permanece en memoria hasta que una segunda canalización lo consume.
El ejemplo de foldl muestra que la versión diferida crea un thunk en cada iteración. La solución consiste en forzar el resultado de f acc b con seq antes de la llamada recursiva. El STG resultante elimina esa asignación y añade una expresión case que evalúa el acumulador. En implementaciones de mónadas también debe revisarse la acumulación de thunks y referencias entre etapas. Aprender a inspeccionar STG ayuda a reconocer qué se evalúa, qué se construye y qué variables siguen alcanzables, aunque la optimización del compilador puede modificar algunos casos.