Tipizzazione forte: differenze tra le versioni

Un esempio limite di linguaggio debolmente tipizzato è il [[linguaggio macchina]], in cui un'area di [[memoria (informatica)|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 [[C (linguaggio)|linguaggio C]] fornisce almeno tre meccanismi che lo qualificano come linguaggio debolmente tipizzato: