Quais são os tipos de tipagem existentes em Python?

No Python, existem diferentes tipos de tipagem que ajudam a entender como a linguagem trabalha com os tipos de dados:

1. Tipagem dinâmica — o tipo da variável é determinado em tempo de execução, e a variável pode mudar de tipo. Por exemplo:

x = 5      # x — int
x = 'olá'   # agora x — str

2. Tipagem fraca — Python permite conversões de tipos implícitas, por exemplo, somar um número e uma string causará um erro, mas em alguns casos as conversões ocorrem automaticamente.

3. Duck typing — o tipo de um objeto é determinado não pela sua classe, mas pela presença de métodos e propriedades necessários. Se um objeto "se comporta como um pato", pode ser usado no contexto adequado.

4. Tipagem estática com anotações (type hinting) — a partir do Python 3.5, é possível indicar tipos de variáveis e funções para melhorar a legibilidade e o suporte de ferramentas de análise estática:

from typing import List

def greet(name: str) -> str:
    return 'Olá, ' + name

numbers: List[int] = [1, 2, 3]

5. Análise estática de tipos — com ferramentas como mypy, é possível verificar a conformidade dos tipos no código sem executar o programa.

Assim, Python combina tipagem dinâmica e fraca com a possibilidade de tipagem estática por meio de anotações e ferramentas externas.