Tipos são uma ótima forma para modelar programas e facilitar o seu entendimento, corretude e reduzir a complexidade.
Python, nas últimas versões, suporta anotações e meios para modelar tipos.
Nessa palestra será apresentada um pouco mais sobre o que são tipos, a biblioteca do Python que permiti usá-los, sobre modelagem e um programa exemplificando.

Podemos imaginar que para cada linguagem de programação existe uma máquina onde o código de máquina é essa linguagem.

Essa máquina seria justamente um modelo de computação.

Nessa palestra pretendo falar sobre:

- Paradigmas não serem uma boa maneira de classificar linguagens.

- Apresentar de maneira simple o que é um modelo de computação e como é possível se computar a mesma coisa de maneira e complexidade diferente.

- Apresentar o modelo de computação do Python.

- Citar outros modelos de computação conhecidos.

Prática deliberada é uma técnica para treinar e dominar alguma habilidade.

Cada sessão de treino é focada numa única habilidade. Após o treino, deve ser feita uma revisão focando no que deve ser melhorado e posto em prática na próxima sessão.

Irei falar sobre como aplicar a prática deliberada no aprendizado de tópicos de programação.

Objetivo: Apresentar a ideia de Design recipe e seus benefícios.