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

In Java, ogni variabile ha un tipo di dato specifico, e quel tipo determina quale tipo di valore può contenere. Questo concetto è chiamato **sicurezza dei tipi**.

Lo scopo principale della sicurezza dei tipi è semplice: Java si assicura che tu non inserisca accidentalmente un tipo di dato errato in una variabile.

## Come funziona la sicurezza dei tipi

Una volta che una variabile è stata creata con un certo tipo, Java si aspetta che segua sempre quella regola.

Ad esempio, questo è valido:
```java
int coffeesSold = 35;
```

Ma questo genera un errore — il testo non può essere inserito in un `int`:
```java
coffeesSold = "Thirty Five"; // ERROR
```

Lo stesso vale per `String` — può contenere solo testo:
```java
String coffeeName = "Cappuccino";
```

Provare ad assegnare un numero genera un errore:
```java
coffeeName = 25; // ERROR
```

Java rileva queste incongruenze **prima che il programma venga eseguito** e ne impedisce la continuazione.

Questo può sembrare rigido all'inizio, ma in realtà è molto utile. La sicurezza dei tipi previene molti errori in anticipo e rende il codice più facile da leggere — semplicemente osservando il tipo di variabile, si sa già quale tipo di dato dovrebbe contenere. Man mano che i programmi diventano più grandi, questo diventa estremamente importante per evitare bug confusi e comportamenti imprevisti.

Qual è lo scopo principale della sicurezza dei tipi in Java?

Immergiti nei fondamenti di Java apprendendo i concetti chiave che alimentano le applicazioni moderne. Esplora variabili, tipi di dato, operatori, costrutti condizionali e stringhe mentre costruisci una solida base nella programmazione. Attraverso esempi pratici e sfide operative, svilupperai le competenze necessarie per scrivere, comprendere e risolvere problemi nel codice Java con sicurezza.

Scopri come iniziare il tuo percorso Java imparando cos'è Java, dove viene utilizzato e come sono strutturati i programmi Java. Comprendi come stampare output, scrivere commenti e costruire le basi necessarie per tutti i futuri concetti di programmazione.

Padroneggiare le competenze necessarie per memorizzare, gestire e lavorare con i dati in Java. Comprendere il funzionamento di variabili, costanti, tipi di dati, operatori e conversione di tipi, applicando questi concetti tramite esercizi pratici di programmazione ed esempi reali.

Esplora gli elementi essenziali del processo decisionale in Java lavorando con operatori di confronto e logici, istruzioni condizionali ed espressioni switch. Scopri come i programmi valutano le condizioni, prendono decisioni e rispondono a diverse situazioni attraverso esempi pratici e sfide.

Approfondisci i fondamenti della gestione del testo in Java. Scopri come vengono create e manipolate le stringhe, esplora le tecniche di formattazione e confronto, valida l'input dell'utente, estrai informazioni utili dal testo e applica queste competenze in scenari di programmazione realistici.

Sicurezza dei tipi

Come funziona la sicurezza dei tipi