A adoção de recursos para habilitar tipagem estática, em Python, pode auxiliar na evolução de sistemas grandes

Thiago Candido

Há um debate, sempre atual, sobre os trade-offs da adoção de tipagem estática ou de tipagem dinâmica. Nesse debate, um quase consenso é que a evolução de sistemas grandes, escritos com tipagem dinâmica, é mais difícil. Essa ideia, inclusive, foi defendida recentemente pelo criador da linguagem Python, Guido van Rossum.

Aprendi uma lição dolorosa: para programas pequenos a tipagem dinâmica é ótima, porém para programas grandes você precisa ter uma abordagem mais disciplinada, e ajuda se a linguagem realmente lhe der essa disciplina, em vez de lhe dizer “Bem, você pode fazer o que quiser”

(Guido van Rossum)

O próprio Guido van Rossum, liderou uma iniciativa para adicionar suporte a anotações de tipo à linguagem Python. Na abordagem proposta por ele, isso pode acontecer de forma flexível, gradual e não impositiva. Alegadamente, segundo Guido, os benefícios incluem redução do volume de bugs, além da facilitar a compreensão e manutenção do código – habilitando mais suporte de IDEs modernas, incrementando a produtividade.

O MyPy, checker criado pelo grupo de desenvolvedores do Dropbox do qual Guido fazia parte, é utilizado, hoje, em mais de quatro milhões de linhas de Python da empresa.

Além do MyPy, há outra solução bastante promissora e amplamente adotada: o Pyright. Trata-se de um checker desenvolvido pela Microsoft, que, segundo seus desenvolvedores, chega a ser até 5 vezes mais rápida que as soluções concorrentes. A solução foi majoritariamente escrita em TypeScript.

As abordagens, tanto do MyPy quanto do Pyright, estão alinhadas com as conclusões de um famoso artigo, escrito por Erik Meijer e Peter Drayton e publicado pela Microsoft, que pondera as características de ambas as estratégias de tipagem.

Static typing where possible, dynamic typing when needed! (Meijer e Drayton)

Alinhando o entendimento do paper, bem como com a visão do criador da linguagem Python, infere-se que é recomendável explorar todo poder da tipagem dinâmica na elaboração de códigos pequenos e protótipos. Entretanto, na medida em que crescem, bases de código ficam mais sólidas e baratas de manter com a adoção gradual de conceitos e ferramentas para tipagem estática.

Em resumo

O fato
Sistemas grandes codificados com tipagem dinâmica são mais caros para manter. Afinal, a flexibilidade em códigos assim, que permite evolução inicial muito rápida, facilita também a introdução de bugs que, com tipagem estática, seriam identificados em tempo de compilação.
O insight
A adoção de checkers como MyPy ou Pyright, permite que tenhamos em Python os mesmos benefícios de linguagens com tipagem estática. Essa adoção pode acontecer de maneira gradual.
Os benefícios
Times podem se beneficiar de tipagem estática evitando bugs, facilitando a compreensão do código e habilitando mais suporte das IDEs.

Compartilhe este insight:

Comentários

Participe deixando seu comentário sobre este artigo a seguir:

Subscribe
Notify of
guest
0 Comentários
Inline Feedbacks
View all comments

AUTOR

Thiago Candido
Especialista em inteligência artificial e engenharia de dados com experiência profissional na indústria e setor financeiro

NOVOS HORIZONTES PARA O SEU NEGÓCIO

Nosso time está preparado para superar junto com você grandes desafios tecnológicos.

Entre em contato e vamos juntos utilizar a tecnologia do jeito certo para gerar mais resultados.

Insights EximiaCo

Confira os conteúdos de negócios e tecnologia desenvolvidos pelos nossos consultores:

Engenharia de Software

Três vantagens reais de utilizar orquestradores BPM para serviços

Arquiteto de software e solução com larga experiência corporativa
Desenvolvimento de Software

Os principais desafios ao adotar testes

Especialista em Testes e Arquitetura de Software
Arquitetura de Dados

Insights de um DBA na análise de um plano de execução

Especialista em performance de Bancos de Dados de larga escala

Acesse nossos canais

Simplificamos, potencializamos e aceleramos resultados usando a tecnologia do jeito certo

EximiaCo 2022 – Todos os direitos reservados

0
Queremos saber a sua opinião, deixe seu comentáriox
()
x

A adoção de recursos para habilitar tipagem estática, em Python, pode auxiliar na evolução de sistemas grandes

Para se candidatar nesta turma aberta, preencha o formulário a seguir:

Condição especial de pré-venda: R$ 14.000,00 - contratando a mentoria até até 31/01/2023 e R$ 15.000,00 - contratando a mentoria a partir de 01/02/2023, em até 12x com taxas.

Tenho interesse nessa capacitação

Para solicitar mais informações sobre essa capacitação para a sua empresa, preencha o formulário a seguir:

Tenho interesse em conversar

Se você está querendo gerar resultados através da tecnologia, preencha este formulário que um de nossos consultores entrará em contato com você:

O seu insight foi excluído com sucesso!

O seu insight foi excluído e não está mais disponível.

O seu insight foi salvo com sucesso!

Ele está na fila de espera, aguardando ser revisado para ter sua publicação programada.

Tenho interesse em conversar

Se você está querendo gerar resultados através da tecnologia, preencha este formulário que um de nossos consultores entrará em contato com você:

Tenho interesse nessa solução

Se você está procurando este tipo de solução para o seu negócio, preencha este formulário que um de nossos consultores entrará em contato com você:

Tenho interesse neste serviço

Se você está procurando este tipo de solução para o seu negócio, preencha este formulário que um de nossos consultores entrará em contato com você:

× Precisa de ajuda?