silnie typowane

Język programowania jest silnie typowany, gdy do każdego identyfikatora przypisany jest typ. Jeśli typ nie jest jawnie podany, zostanie on wywnioskowany.