Uma linguagem é definida como estaticamente tipada.

Quando a pessoa que está programando precisa informar explicitamente(claramente) o tipo

de cada dado utilizado no sistema:

 variáveis,
 parâmetros de funções,
 valores de retorno

Uma vez definido o tipo, estas variáveis estão restritas ao tipo declarado, ou seja, não se pode
atribuir outro tipo de dado para aquela variável;

a checagem (type checking) é feita na compilação do programa ou em tempo de execução

(runtime), dependendo se a linguagem for compilada ou interpretada.

Para que seja criada uma variável em uma linguagem de programação é necessário que o
programador faço três passos, vejamos:

1 – Escreva o nome da variável;

2 – Escreva o nome do tipo de dado que será armazenado na variável;
3 – Escreva o dado a ser armazenado na variável;

Dependendo da linguagem de programação os passos podem ser ordenados de forma

diferente, porém serão os mesmos, com variações.

Exemplo em Pascal (Sintaxe):

Escreve o nome e escreve (define) o tipo; -> sintaxe - > A: integer; (Declaração)
Escrevesse o dado; -> sintaxe - > A:=10; (Inicialização)

Exemplo em Java (Sintaxe 1):

Escreve o nome e escreve (define) o tipo; -> sintaxe - > int A; (Declaração)
Escrevesse o dado; -> sintaxe - > A:=10; (Inicialização)

Exemplo em Java (Sintaxe 2):

Escreve o nome, define o tipo, escreve o dado; -> sintaxe - > int A:= 10;
(Declaração) (Inicialização)

Linguagem estaticamente tipada

O programador

Declara a variável:

1 – Escreve o tipo da variável; por exemplo (em java): int (definiu o tipo);

2 – Escreve o nome da variável; por exemplo (em java): int a; (declarou a variável);

3 – Escreve o tipo, o nome e inicializa a variável; por exemplo (em java): int a := 10; (declarou e
inicializou a variável);
Exemplo completo:

Sintaxe 1:

Int a;

a:=10;

Sintaxe 2:

int a:=10;

Linguagem Dinamicamente tipada

O tipo é determinado (inferido) em runtime (ou tempo de execução) de acordo com o

valor do dado, e não a partir da variável.

Quem determina o tipo ao criar uma variável, ou definir seu nome é o programador.

Mais a sintaxe agora difere da anterior, pois o programador escrever o nome da variável e
inicializa a mesma com o valor que necessita ou deseja.

Nestes casos, o programa observa qual é o tipo de cada dado que está sendo declarado do
código e, a partir disso, determina a tipagem. A sintaxe não exige que se informe
explicitamente o tipo quando definimos variáveis; em algumas linguagens é possível informar
explicitamente o tipo de dado, mas não é obrigatório.