Tipizzazione forte: differenze tra le versioni

Un esempio limite di linguaggio debolmente tipizzato è il [[linguaggio macchina]], in cui un'area di memoria, rappresentata nel codice da un [[indirizzo di memoria]], può essere usata indifferentemente per contenere valori di qualunque tipo (numeri interi, numeri con la virgola, caratteri, e così via). I [[linguaggio di programmazione ad alto livello|linguaggi di programmazione ad alto livello]] tendono ad avere [[sistema dei tipi|sistemi dei tipi]] più sicuri e quindi ad avvicinarsi all'ideale della forte tipizzazione, ma in genere rimangono disponibili meccanismi per trattare dati in modo flessibile che si prestano a essere utilizzati per violare il sistema dei tipi. Per esempio, il [[linguaggio C]] fornisce almeno tre meccanismi che lo qualificano come linguaggio debolmente tipizzato:

 

* i [[puntatore (programmazione)|puntatori]] a ''void'', che godono di conversione di tipo implicita verso qualunque altro tipo puntatore;

* le ''[[union (C)|unioni]]'' consentono di interpretare una collezione di dati correlati secondo diverse attribuzioni di tipo indipendenti.