Skip to main content
se añadieron 271 caracteres en el cuerpo
Origen Enlace

La redefinición no modificó el valor antiguo de lista, su único efecto es en las definiciones posteriores. Las definiciones anteriores mantienen el mismo sentido original. O más precisamente:

  1. El alcanze ("scope") de cada definición son las expresiones siguientes.
  2. Definiciones tardías del mismo nombre opacan ("shadow") las definiciones más tempranas.
  3. Cada uso de un nombre se refiere a la definición anterior más próxima.

La redefinición no modificó el valor antiguo de lista, su único efecto es en las definiciones posteriores. Las definiciones anteriores mantienen el mismo sentido original.

La redefinición no modificó el valor antiguo de lista, su único efecto es en las definiciones posteriores. Las definiciones anteriores mantienen el mismo sentido original. O más precisamente:

  1. El alcanze ("scope") de cada definición son las expresiones siguientes.
  2. Definiciones tardías del mismo nombre opacan ("shadow") las definiciones más tempranas.
  3. Cada uso de un nombre se refiere a la definición anterior más próxima.
cuerpo editado
Origen Enlace

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 havehace es confundir el asunto. En Haskell todas las funciones son valores, pero no todos los valores son funciones.

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.

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 hace es confundir el asunto. En Haskell todas las funciones son valores, pero no todos los valores son funciones.

se añadieron 75 caracteres en el cuerpo
Origen Enlace

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:

La respuesta de Darkhogg 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 definiciones futuras que usen el mismo nombre ven 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.

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:

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 posteriores. Las definiciones anteriores mantienen el mismo sentido 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 valor 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]

Aunque este concepto parezca algo exótico, resulta ser muy útil, porque significa que podemos construir, sin esfuerzo alguno, gráficas de objetos inmutables con referencia mutua.

Y ahora podemos reexaminar tu ejemplo:

se añadieron 75 caracteres en el cuerpo
Origen Enlace
Loading
se añadieron 220 caracteres en el cuerpo
Origen Enlace
Loading
Origen Enlace
Loading