fortemente tipada

Uma linguagem de programação é fortemente tipada quando um tipo é atribuído a cada identificador. Quando o tipo não é fornecido explicitamente, ele é inferido.