8

Existe certa confusão sobre o conceito de linguagens de programação com tipagem estática e dinâmica e o conceito de linguagens de programação fortemente e fracamente tipadas.

Por exemplo, pelo meu entender Python é uma linguagem com tipagem dinâmica, pois posso atribuir qualquer valor uma variável (x no exemplo):

>>> x = 1
>>> x = "teste"
>>>

Porém, Python também é uma linguagem fortemente tipada pois não posso fazer algo do tipo:

>>> x = "0"
>>> x += 1
Traceback <most recent call last>:
   File "<stdin>", line 1, in <module>
TypeError: Can't covert 'int' object to str implicitly

Alguém poderia me explicar isso melhor?

8
  • 3
  • 3
    Acho que podemos considerar duplicata. Leo Ribeiro, a resposta nesse link esclarece sua dúvida?
    – bfavaretto
    Commented 6/11/2015 às 14:43
  • 2
    Mas isso não é justamente a resposta? O que falta lá pra esclarecer sua dúvida?
    – bfavaretto
    Commented 6/11/2015 às 14:51
  • 2
    @LeoRibeiro considero duplicata. Ou então não está claro o que deseja. Lá tem toda informação que eu julgo ser necessária para esclarecer o tópico. Se tem algo mais específico que ainda tem dúvida, seja específico na pergunta. A resposta diz isto porque é isto mesmo. As coisas não são preto no branco. As linguagens não são puras. Hora ele pode se comportar de um jeito, hora de outro.
    – Maniero
    Commented 6/11/2015 às 14:55
  • 1
    A gente não apaga as duplicatas, apenas coloca esse aviso em cima apontando pra outra pergunta. As duplicatas são vistas como caminhos alternativos pra chegar às respostas. Manter duplicatas significa dar mais chance para as pessoas encontrarem as respostas que precisam via mecanismos de busca. Ah, e bem-vindo ao site! :)
    – bfavaretto
    Commented 6/11/2015 às 15:51

1 Resposta 1

4

Liskov e Zilles definiram linguagens fortemente tipadas como aquelas onde um objeto, quando passado de uma função para outra, deve ter tipo compatível com aquele declarado na função que recebe o objeto.

Linguagens estáticas são linguagem que possuem tipagem estática, onde o tipo de uma variável não pode mudar. Uma linguagem estática não é necessariamente de tipagem forte onde o tipo não pode ser interpretado de formas diferentes.

Em C, por exemplo, que é linguagem estática, podemos interpretar um dado numa região de memória de formas diferentes quando usamos ponteiros.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .