Python Type Hinting - Onde, Como e Por Que

1. INFRASTRUCTURE

2. Python Type Hinting
Como, Onde, Porque
Guilherme Loch Waltrick Goes - glwgoes

3. Guilherme Loch Waltrick Goes
glwgoes@fb.com

4. • Por que usar type hinting?
• Sintaxe
• O module typing
• Gradual typing
Agenda

5. def foo(items):
for item in items:
item.bar.process()
Porque usar type hinting?

6. • Compreensão do código com agilidade
• Validar as Idéias do desenvolvedor
• Minimizar a quantidade de informação processada
• Encontrar bugs atuais e futuros 
Porque usar type hinting?

7. def foo(bar):
…
Sintaxe

8. def foo(bar: blah) -> zorg:
…
Sintaxe
def foo(arg: str):
def foo(arg: int):
def foo(arg: ipaddress):
def foo(arg: NetworkSwitch):
def foo() -> str:
def foo() -> int:
def foo() -> None:
def foo() -> NetworkSwitch:

11. • Função que retorna qualquer coisa?
• Função que recebe uma lista de strings?
Dicionário?
• Função com valor default?
• Função que rece classA ou classB?
• Função que recebe uma classe?
Questões do Cotidiano
O Modulo typing tem a solução =)

12. from typing import Any
def func() -> Any:
…
Função que retorna qualquer
coisa?

13. Função que recebe uma lista de
strings?
from typing import List
def func(arg: List[str]) -> Any:
…

14. Função que recebe um dicionário?
from typing import Dict
def func(arg: Dict[str, str]) -> Any:
…

15. Função com valor default?
def func(arg: str = ‘foo’) -> Any:
…

16. Função que int ou None?
from typing import Optional
def func(arg: int) -> Optional[int]:
…

17. Função que recebe mais de um
tipo?
from typing import Union
def func(arg: Union[clsA, clsB]) -> Any:
…

18. Função que retorna o mesmo tipo
que recebeu?
from typing import TypeVar
T = TypeVar(‘T’)
def func(arg: T) -> T:
…

19. Função que retorna o mesmo tipo
que recebeu?
from typing import List, TypeVar
T = TypeVar(‘T’)
def func(arg: List[T]) -> T:
…

20. Função que recebe uma classe e
não um objeto?
from typing import Type
def func(arg: Type[Model]) -> Model:
…

21. from typing import TYPE_CHECKING
if TYPE_CHECKING:
from foo import bar
def zorg() -> bar:
Dependências Circulares

22. • Quando uma variável recebe um valor o type checker
faz a inferencia do tipo:
• foo = ‘bar’ # reveal_type(foo) -> str
• foo = [1, 2, 3] # reveal_type(foo) -> List[int]
• foo = [] # error: need type annotation for variable
• foo: List[int] = [] # reveal_type(foo) -> List[int]
Type Inference

23. • Pode-se introduzir typing em uma base de código
existente
• O type checker irá levantar os erros nas funções
anotadas e também onde essas funções são
chamadas
Gradual Typing

24. 1) Anote as funções mais criticas/mais chamadas
primeiro
2) Habilitar o linter de arquivos cedo
3) Utilizar type checking com CI
4) Seja flexível com o que você recebe e estrito com
o que retorna
Gradual Typing

25. http://bit.ly/tdc_py_type_hinting
Perguntas?

26. INFRASTRUCTURE