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

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)

[tweet]O próprio Guido van Rossum, liderou uma iniciativa para adicionar suporte a anotações de tipo à linguagem Python.[/tweet] 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.

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:

Arquivo

Pós-pandemia, trabalho remoto e a retenção dos profissionais de TI

CTO Consulting e Especialista em Execução em TI
0
Queremos saber a sua opinião, deixe seu comentáriox

A sua inscrição foi realizada com sucesso!

O link de acesso à live foi enviado para o seu e-mail. Nos vemos no dia da live.

Muito obrigado!

Deu tudo certo com seu envio!
Logo entraremos em contato

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:

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?