A linguagem de programação onde o tipo da variável é definido em tempo de compilação, tem sua estrutura de tipos denominada