strongly-typed (fortement typé)

Un langage de programmation est fortement typé lorsqu'un type est assigné à chaque identificateur. Lorsque le type n'est pas explicitement fourni, il est déduit.