La respuesta de Darkhogg, aunque sí señala que la causa es una definición recursiva, no me parece precisa. Primero que nada, la pureza funcional y falta de estado no son 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 demostrar en el intérprete:
La redefinición no modificó el valor antiguo de lista
, su único efecto es en las definiciones futuras que usenposteriores. Las definiciones anteriores mantienen el mismo nombre ven el valor nuevosentido original.
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. En Haskell todas las funciones son valores, pero no todos los valores son funciones.
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 resultadovalor que le asignamos al nombre. En Haskell esto funciona, gracias a la "vagancia" ("lazy evaluation"). Lo podemos ilustrar mediante un argumento ecuacional:
-- Definición de `++`
(++) :: [a] -> [a] -> [a]
[] ++ ys = ys
(x:xs) ++ ys = x : (xs ++ ys)
-- Definición de `take`
take :: Int -> [a] -> [a]
take _ [] = []
take n (a:as)
| n <= 0 = []
| otherwise = a : take (n - 1) as
-- Demostración
take 3 (cycle [1, 2])
= take 3 (let result = [1, 2] ++ result in result)
= take 3 (let result = [1, 2] ++ result in [1, 2] ++ result)
= take 3 (let result = [1, 2] ++ result in 1 : ([2] ++ result))
= 1 : take 2 (let result = [1, 2] ++ result in [2] ++ result)
= 1 : take 2 (let result = [1, 2] ++ result in 2 : ([] ++ result))
= 1 : 2 : take 1 (let result = [1, 2] ++ result in [] ++ result)
= 1 : 2 : take 1 (let result = [1, 2] ++ result in result)
= 1 : 2 : take 1 (let result = [1, 2] ++ result in [1, 2] ++ result)
= 1 : 2 : take 1 (let result = [1, 2] ++ result in 1 : ([2] ++ result))
= 1 : 2 : 1 : take 0 (let result = [1, 2] ++ result in [2] ++ result)
= 1 : 2 : 1 : []
= [1, 2, 1]
Y eso es loAunque este concepto parezca algo exótico, resulta ser muy útil, porque significa que ocurre enpodemos construir, sin esfuerzo alguno, gráficas de objetos inmutables con referencia mutua.
Y ahora podemos reexaminar tu ejemplo: