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 peut être
faiblement typé, ou pas du tout typé (mais en pratique ce n'est jamais le cas).