dunossauro/spoilers_typing.md

## spoilers_typing.md

      
    Raw
  

              spoilers_typing.md
            
          
    Propostas de aulas sobre Typing


Anotação de funções - PEP-3107

Fundamentos da anotação de tipos
Sintaxe

Parametros
Retornos


__annotations__
Casos de uso

typing


É opcional!


Introdução a tipagem - PEP-484

Teoria por trás do Type Hint - PEP-483
Atômicos

int
str
float
...


Containers Concretos

list[int]
tuple[int, float, str]
set[str]


Valores default
path: str = '.'
checagem com Mypy
Mais de um retorno ou mais de uma entrada?

@overload
Literal - PEP-586
Enum (para mais exemplos de Literal)


Classes "importadas" e classes customizadas - PEP-484

Classes que importamos

Usar exemplos com datetime.datetime e datetime.date
UUID
datetime
Path


Classes concretas que criamos

Criar uma classe simples?
ClassVar - PEP-526


Classes abstratas que criamos - PEP-591

@final
Final


Tipos especiais

Any
Union (3.10)
Optional (3.10)
| - PEP-604
NoReturn
Type Alias

TypeAlias
a = int | float


NewType
Tipagem e os erros


Containers Abstratos

Introdução aos Protocolos collections.abc

Sequence
Mapping
...


Tipos chamáveis (Callable)


Estruturas com Typing

typing.NamedTuple - Doc
Dataclasses - Doc

Fields

Factory


TypedDict - PEP-589


Tipagem Ganso - runtime

Quadrante dos tipos - Qudrante dos Tipos - Luciano Ramalho
isinstance
issubclass
Pydantic - Doc

pydantic.validate_arguments


Generics -

Variáveis de tipo TypeVar('T')
Generics


Tipagem pato estática - PEP-544

Tipagem nominal vs Tipagem estrutural
Supports

SupportsAbs
SupportsFloat
...


typing.Protocol
@runtime_checkable


?. Coisas que ainda não encontrei o lugar correto

cast()

??. Outras coisas que não sei onde colocar

Stubs (.pyi)
TypeShed - Tipos da biblioteca padrão
MonkeyType - Gerador de tipos com testes
typing_extensions - Funções de versões futuras