In informatica, e in particolare in programmazione, l'espressione tipizzazione forte può essere usata per caratterizzare il tipo di regole che un determinato linguaggio di programmazione impone, a livello sintattico o semantico, circa la tipizzazione dei dati e all'uso dei dati in relazione al loro tipo. Wikipedia