La respuesta de Darkhogg no me parece precisa. Primero que nada, la pureza funcional y falta de estado no es la causa de este problema. Aunque sí es cierto que no podemos modificar los **valores** en Haskell, sí podemos opacar los nombres localmente con definiciones de alcanze más corto ("shadow a binding with another one in a narrower scope"). Esto es fácil de demonstrar en el intérprete: GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help Prelude> let lista = [1..5] Prelude> let ejemplo xs = xs ++ lista Prelude> lista [1,2,3,4,5] Prelude> ejemplo [4] [4,1,2,3,4,5] Prelude> let lista = [1..3] Prelude> lista [1,2,3] Prelude> ejemplo [4] [4,1,2,3,4,5] Se ve que pudimos redefinir el nombre `lista`. Esto no modificó el valor antiguo del nombre; lo que hace es que: 1. Los usos del nombre `lista` antes de la redefinición usa el valor original; 2. Los usos después de la redefinición usan el valor nuevo. Lo segundo que cabe notar es que no es buena idea pensar que en Haskell "todas las variables son, en cierto modo, funciones." Pensar de ese modo lo que have es confundir el asunto. Para entender la dificultad del ejemplo lo que hay que notar es que Haskell, a diferencia de casi cualquier otro lenguaje común, permite definiciones recursivas no solo de de funciones sino también de valores. Por ejemplo, la siguiente función construye una lista circular: cycle :: [a] -> [a] cycle as = let result = as ++ result in result En esta definición, la variable `result` se usa simultáneamente en el lado izquierdo como el derecho de su definición, tanto como el nombre que definimos, y como argumento a la función que produce el resultado que le asignamos al nombre. En Haskell esto funciona, gracias a la "vagancia" ("lazy evaluation"). Y eso es lo que ocurre en tu ejemplo: Prelude> let list = reverse list Tu expectativa es que en el lado derecho del `=`, el nombre `list` se refiere a su definición anterior, en otro alcanze ("scope"). En casi cualquier otro idioma esa expectativa sería correcta, pero no lo es en Haskell—en esta definición, `list` en la derecha se refiere a `list` en la izquierda.