Em linguagens de programação de tipagem estática, os tipos de dados são verificados em tempo de compilação, o que significa que o compilador verifica se as operações usadas no código são compatíveis com os tipos de dados definidos.

Assinale, dentre as alternativas a seguir, a que apresenta linguagem de programação que possui tipagem estática.