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

dunossauro/spoilers_typing.md

Propostas de aulas sobre Typing