In computer science and computer programming, a type system is said to feature strong typing when it specifies one or more restrictions on how operations involving values of different data types can be intermixed. The opposite of strong typing is weak typing.

Starke Typisierung (engl. strong typing, daher oft auch strenge Typisierung) bezeichnet ein Prinzip bei der Typisierung von Programmiersprachen, das allerdings nicht eindeutig definiert ist. In der Fachliteratur finden sich unterschiedlich strenge Definitionen; die strengstmögliche Interpretation des Begriffs findet sich in keiner Programmiersprache wieder.

En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées. Par opposition, un langage sans typage fort est dit faiblement typé.

Silna typizacja to system typów języku programowania w którym każde wyrażenie ma ustalony typ, i nie można go używać w kontekście przeznaczonym dla innych typów.

In informatica, e in particolare in programmazione, l'espressione forte tipizzazione (strong typing) 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. L'opposto della forte tipizzazione è la debole tipizzazione. In un linguaggio fortemente tipizzato, il programmatore è tenuto a specificare il tipo di ogni elemento sintattico che durante l'esecuzione denota un valore (per esempio un valore costante, una variabile o una espressione, e il linguaggio garantisce che tale valore sia utilizzato in modo coerente con il tipo specificato (per esempio, non è possibile eseguire una somma aritmetica su dati di tipo stringa). Questo concetto generale può applicarsi con diverse sfumature; a seconda del contesto, dunque, per linguaggio fortemente tipizzato si possono intendere cose leggermente diverse:

• tipizzazione statica: tutti i controlli sull'uso corretto dei valori rispetto al loro tipo vengono eseguiti durante la compilazione;
• sicurezza rispetto ai tipi (type safety): è garantito che vengano fatti controlli esaustivi sull'uso dei valori rispetto al loro tipo, ma non necessariamente durante la compilazione (un programma potrebbe fallire durante l'esecuzione a causa di violazioni di tipo)
• impossibilità di eseguire conversioni di tipo;
• impossibilità di eseguire conversioni di tipo implicite;