Fortemente tipizzato

Definizione:

Java è un linguaggio di programmazione fortemente tipizzato perché ogni variabile deve essere dichiarata con un tipo di dati. Una variabile non può iniziare la vita senza conoscere l'intervallo di valori che può contenere e, una volta dichiarata, il tipo di dati della variabile non può cambiare.

Esempi:

La seguente dichiarazione è consentita perché la variabile ha "hasDataType" è dichiarata come un tipo di dati booleano:

 hasDataType booleano; 

Per il resto della sua vita, hasDataType non può che avere un valore vero o falso.