Linguagens de programação fortemente tipadas (Strongtyping) são aquelas em que os objetos/variáveis têm um tipo bem definido que precisa ser informado no momento de sua declaração. São exemplos de linguagens de programação fortemente tipadas: