SINTAXE PARA DECLARAÇÃO ESTÁTICA DE TIPOS Formalizada no PEP 484 — Type Hints Implementada a partir de Python 3.5 3 def parse_flag(text: str) -> bool: return text.upper() in {'Y', 'YES', 'T', 'TRUE'}
TIPAGEM: DINÂMICA, ESTÁTICA, OU GRADUAL Tipagem dinâmica: verificação de tipos somente na execução Ex. Lisp, Smalltalk, Python, JavaScript, Ruby, Clojure, Elixir, etc. Tipagem estática: declaração de tipos no código-fonte, verificação na compilação Ex. C, C++, Pascal, Java, C#, Haskell, Rust, Kotlin, Swift, Elm, etc. Tipagem gradual: declaração de tipos opcional, verificação na compilação ou por type checkers, normalmente sem efeito na execução Ex. ActionScript, Hack, Dart, TypeScript, etc. 4
8 RAINHAS: SOLUÇÃO ORIENTADA A OBJETOS Escrito em Python a partir dos exemplos em Smalltalk e Ruby do capítulo 6 de An Introduction to Object-Oriented Programming 3 ed, de Tim Budd. https://github.com/ramalho/pyob/ 13
VANTAGENS DE TIPAGEM ESTÁTICA Documentar a assinatura das funções Auxiliar a IDE, inclusive com refatorações automáticas Identificar bugs antes de rodar o programa Facilitar serialização de objetos (dica do Bruno Rocha) É opcional: filosofia gradual typing 27
ENXURRADA DE PEPS 30 Ano PEP Título Python 2006 3107 Function Annotations 3.0 2014 484 Type Hints 3.5P 483 The Theory of Type Hints N/A 2015 482 Literature Overview for Type Hints N/A 2016 526 Syntax for Variable Annotations 3.6 2017 544 Protocols: Structural subtyping (static duck typing) 3.8 557 Data Classes 3.7 560 Core support for typing module and generic types 3.7 561 Distributing and Packaging Type Information 3.7 563 Postponed Evaluation of Annotations 3.7 2018 586 Literal Types 3.8 2019 585 Type Hinting Usability Conventions 3.8D 589 TypedDict: Type Hints for Dicts with a Fixed Set of Keys 3.8 591 Adding a final qualifier to typing 3.8 3.8
DESVANTAGENS Esforço para aprender uma nova série de abstrações Generics, covariância, contravariância, tipagem estrutural, etc. Tempo para escrever anotações de tipo Às vezes é complicado exprimir o que precisamos Melhor suportado nas versões mais recentes de Python Python 3.8: avanços importantes de usabilidade e expressividade Aumento do tempo de inicialização do programa Relevante só para pequenos scripts, não para processos de longa duração 31
CUSTO X BENEFÍCIO Os benefícios são maiores quando... O time ou a comunidade de desenvolvedoras é grande. O sistema é grande, complexo, e vai precisar evoluir muito. Bernat Gabor* dá uma boa regra: se você investe em testes, deve investir em type hints
QUAL O IMPACTO DAS ANOTAÇÕES NA EXECUÇÃO DO PROGRAMA? Em princípio, nenhum. O interpretador e a biblioteca padrão desconsideram as anotações de tipos* Diz a PEP 484: 35 * há duas exceções no módulo dataclasses
TODO MUNDO DEVE USAR TYPE HINTS? Não. As pessoas que usam Python são muito diversas: engenheiras, analistas financeiros, estudantes, cientistas e especialistas das mais diversas áreas (física, biologia, sociologia, inteligência artificial). A análise de custo x benefício não é igual para todos esses grupos. Para aprender a programar ou fazer programação exploratória, as anotações de tipo introduzem complexidade, reduzem a flexibilidade do código, e não trazem grande valor. Type hints é mais útil em times de desenvolvedoras profissionais, com bases de código grandes, acostumadas com um ferramental mais complexo (IDEs, linters, testes automatizados, integração continua etc.) 36
ramalho
masahiro_nishimi
okuramasafumi
kotomin_m
usualoma
zoetrope
star_zero
javiergs
n1215
microcms
o0h
kentaroutakeda
ericgpks
edds
holman
addyosmani
kastner
swwweet
jcasabona
gr2m
keathley
kneath
geeforr
malarkey
tanoku