Cómo usar variables en Haskell
En Haskell, las variables funcionan de manera diferente a los lenguajes de programación imperativos como Java o Python. Al ser un lenguaje de programación funcional, Haskell trata a las variables como nombres simbólicos para representar valores, y son inmutables una vez asignadas, lo que significa que no pueden cambiar después de su inicialización.
Declaración básica de una variable
A diferencia de otros lenguajes, Haskell no utiliza palabras clave como var o let para declarar variables de manera global en su mayoría de usos. Simplemente se define un nombre seguido de un valor:
nombre = "Haskell"En este ejemplo:
-
nombrees una variable que almacena el valor"Haskell". -
No se puede reasignar el valor de
nombreen ningún momento.
Ejemplo simple de uso de variables
mensaje = "Hola, Haskell!"
numero = 5
main = do
putStrLn mensaje
print numeroAquí:
-
La variable
mensajealmacena un string ynumeroalmacena un entero. -
La función
putStrLnimprime cadenas de texto, yprintse usa para imprimir números.
Salida:
Hola, Haskell!
5Inmutabilidad de las variables
Una de las principales características de Haskell es la inmutabilidad. Esto significa que, una vez que asignas un valor a una variable, no puedes modificarlo.
x = 10
x = 20 -- Esto causará un error
El código anterior arrojará un error, ya que x no puede ser reasignada a otro valor. En Haskell, si necesitas un valor diferente, deberás crear una nueva variable o usar una expresión que derive un nuevo valor.
Uso de let para declarar variables en expresiones locales
Aunque las variables son inmutables, puedes crear nuevas variables en el contexto de una expresión o función usando let.
Ejemplo de let
main = do
let x = 10
let y = 20
let suma = x + y
print sumaSalida:
30Aquí:
-
letcrea una variable en el contexto local de la funciónmain. -
Las variables
x,y, ysumaestán disponibles solo dentro de ese bloque.
Variables en funciones
En Haskell, puedes usar variables dentro de funciones para almacenar el resultado de una expresión y luego utilizarlo dentro del cuerpo de la función.
Ejemplo con variables en una función
suma :: Int -> Int -> Int
suma a b = resultado
where resultado = a + bEn este ejemplo:
-
sumaes una función que toma dos parámetros enteros (ayb). -
resultadoes una variable local creada dentro de la función mediantewhere, que almacena la suma deayb.
Uso:
main = print (suma 3 4)Salida:
7
Uso de where y let en funciones
Haskell permite definir variables dentro de una función utilizando where o let.
Ejemplo con where
calcularArea :: Float -> Float -> Float
calcularArea base altura = area
where area = base * altura / 2-
calcularAreacalcula el área de un triángulo. -
areaes una variable calculada dentro de la función y está definida conwhere.
Ejemplo con let en una expresión
main = do
let x = 5
let y = 10
let resultado = x * y
print resultado
Este es un ejemplo típico donde let se utiliza dentro de un bloque do en el contexto de E/S.
Tipado de variables
Haskell tiene un sistema de tipado estático. Esto significa que el compilador verifica los tipos de las variables en tiempo de compilación. Los tipos pueden ser inferidos automáticamente, pero también puedes declararlos explícitamente para mayor claridad.
Declaración de tipos explícitos
nombre :: String
nombre = "Haskell"
numero :: Int
numero = 5-
nombrees declarado como tipoString. -
numeroes declarado como tipoInt.
Conclusión
Las variables en Haskell son inmutables, lo que refuerza la programación funcional. Aunque no se pueden cambiar una vez asignadas, puedes utilizar let y where para crear variables locales dentro de expresiones y funciones. Haskell también cuenta con un sistema de tipado estático que ayuda a evitar errores relacionados con el tipo de datos.
Para más información sobre el uso de variables en Haskell, visita la documentación oficial de Haskell.
Jorge García
Fullstack developer