Summary  
Type safety enforces that every variable in code only holds values of its declared type, with mismatches detected at compile time to prevent errors and clarify code intent.

General domain of usage  
Coffee shop application

En Java, cada variable tiene un tipo de dato específico, y ese tipo determina qué clase de valor puede almacenar. Esta idea se llama **seguridad de tipos**.

El propósito principal de la seguridad de tipos es sencillo: Java se asegura de que no pongas accidentalmente un tipo de dato incorrecto en una variable.

## Cómo funciona la seguridad de tipos

Una vez que se crea una variable con un cierto tipo, Java espera que siempre siga esa regla.

Por ejemplo, esto es válido:
```java
int coffeesSold = 35;
```

Pero esto causa un error — el texto no puede ir dentro de un `int`:
```java
coffeesSold = "Thirty Five"; // ERROR
```

Lo mismo aplica para `String` — solo puede contener texto:
```java
String coffeeName = "Cappuccino";
```

Intentar asignar un número causa un error:
```java
coffeeName = 25; // ERROR
```

Java detecta estas incompatibilidades **antes de que el programa se ejecute** y evita que continúe.

Esto puede parecer estricto al principio, pero en realidad es muy útil. La seguridad de tipos previene muchos errores desde el principio y hace que el código sea más fácil de leer — solo con ver el tipo de la variable, ya sabes qué tipo de dato debe contener. A medida que los programas crecen, esto se vuelve extremadamente importante para evitar errores confusos y comportamientos inesperados.

¿Cuál es el propósito principal de la seguridad de tipos en Java?

Sumérgete en los fundamentos de Java aprendiendo los conceptos clave que impulsan las aplicaciones modernas. Explora variables, tipos de datos, operadores, condicionales y cadenas de texto mientras construyes una base sólida en programación. A través de ejemplos prácticos y desafíos interactivos, desarrollarás las habilidades necesarias para escribir, comprender y depurar código Java con confianza.

Descubre cómo comenzar tu camino en Java aprendiendo qué es Java, dónde se utiliza y cómo se estructuran los programas en Java. Comprende cómo imprimir salidas, escribir comentarios y construir la base necesaria para todos los conceptos de programación futuros.

Domina las habilidades necesarias para almacenar, gestionar y trabajar con datos en Java. Aprende cómo funcionan las variables, constantes, tipos de datos, operadores y conversión de tipos, y aplica estos conceptos mediante ejercicios prácticos de codificación y ejemplos del mundo real.

Explora los aspectos esenciales de la toma de decisiones en Java mediante el uso de operadores de comparación y lógicos, sentencias condicionales y expresiones switch. Aprende cómo los programas evalúan condiciones, toman decisiones y responden a diferentes situaciones a través de ejemplos prácticos y desafíos.

Sumérgete en los fundamentos del trabajo con texto en Java. Aprende cómo se crean y manipulan las cadenas, explora técnicas de formato y comparación, valida la entrada del usuario, extrae información útil del texto y aplica estas habilidades en escenarios de programación realistas.

Seguridad de Tipos

Cómo funciona la seguridad de tipos