Cuando trabajamos con programación, es fundamental entender que, aunque para nosotros los datos pueden parecer números, letras o palabras, para el ordenador todo se reduce a ceros y unos. Estos ceros y unos, que son la base de la información digital, se almacenan en forma de bytes en la memoria, pero para que tengan sentido, deben estar asociados a un tipo de dato que nos permita interpretarlos correctamente.
Por ejemplo, si declaramos una variable x con el valor 3 + 4, internamente el ordenador no almacena la expresión, sino el resultado, que es 7. Sin embargo, ese 7 no es simplemente un conjunto de bits sin significado; está representado como un número entero. Esto es crucial porque, sin esta asociación, el ordenador no sabría si esos bits representan un número, una letra o incluso un sonido.
Esta necesidad de clasificar los datos es lo que da origen a los tipos de datos. Así como en la vida real no podemos decir simplemente 10 sin especificar si son kilos, litros o cualquier otra unidad, en programación no podemos manejar valores sin indicar su tipo. Por ejemplo, si declaramos una variable y con el valor 5 / 2, es importante que el ordenador sepa que ese resultado es un número flotante, es decir, un número con parte decimal, para evitar interpretaciones erróneas que podrían llevar a mostrar un valor incorrecto.
En Elixir, los tipos de datos son una parte esencial para que el lenguaje pueda manejar correctamente la información. Los números enteros, como el 7, representan valores sin parte decimal y pueden ser tan grandes como necesitemos. Por otro lado, los números flotantes, como 2.5, incluyen una parte decimal y se manejan de manera diferente internamente.
Para explorar y entender mejor los tipos de datos en Elixir, contamos con la herramienta IEx, que es un intérprete interactivo donde podemos probar expresiones y consultar información sobre ellas. Usando el comando IEx.Helpers.y (abreviado como y), podemos inspeccionar el valor y el tipo de cualquier expresión o variable.
Por ejemplo, si declaramos x = 7 y luego ejecutamos y x en IEx, obtendremos información que nos indica que x es un número entero. Si hacemos lo mismo con y = 5 / 2, la inspección nos mostrará que y es un número flotante. Incluso podemos evaluar expresiones directamente dentro de y, como y (5 + 2), que nos confirmará que el resultado es un entero, o y (5 / 2), que nos mostrará un flotante.
Esta capacidad de inspección es muy útil para entender cómo Elixir interpreta los datos y para evitar errores que puedan surgir de malentendidos sobre los tipos. Además, nos prepara para profundizar en otros tipos de datos y conceptos que veremos más adelante, como protocolos y módulos, que también forman parte del ecosistema de Elixir.
En definitiva, comprender los tipos de datos y cómo inspeccionarlos en Elixir es un paso fundamental para manejar correctamente la información y construir programas robustos y fiables.