Starke Typisierung (, deutsch 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. Man kann aber generell zwischen Sprachen ohne oder mit sehr schwacher Typisierung (z. B.
PHP) und solchen mit stärkerer Typisierung (u. a.
C++) unterscheiden. Oft hängt strenge mit
statischer Typisierung zusammen und erweitert diese.