Python robusto

Capítulo 13. Protocolos

Este trabalho foi traduzido com recurso a IA. Agradecemos o teu feedback e comentários: [e-mail]

Tenho uma confissão a fazer-te. Tenho andado a contornar algo no sistema de tipos Python que, à primeira vista, é contraditório. Tem a ver com uma diferença chave na filosofia entre o sistema de tipos em tempo de execução do Python e as dicas de tipos estáticos.

No Capítulo 2, descrevi como o Python suporta a tipagem duck. Lembra-te que isto significa que podes usar objectos num contexto desde que esse objeto suporte um conjunto específico de comportamentos. Não precisas de nenhum tipo de classe pai ou estrutura de herança pré-definida para usar duck typing.

No entanto, o verificador de tipos não faz a mínima ideia de como lidar com a tipagem "duck" sem qualquer assistência. O verificador de tipos sabe como lidar com os tipos conhecidos em tempo de análise estática, mas como é que lida com as decisões de tipagem pato feitas em tempo de execução?

Para remediar isto, vou introduzir protocolos, uma funcionalidade introduzida no Python 3.8. Os protocolos resolvem a contradição acima referida; anotam as variáveis duck-typed durante a verificação de tipos. Vou explicar porque precisas de protocolos, como definir os teus próprios protocolos e como usá-los em cenários avançados. Mas antes de começares, precisas de compreender a desconexão entre a tipagem duck do Python e os verificadores de tipos estáticos.

Tensão entre sistemas de digitação ...