Perfil
Propostas
Análise sistemática de tipos de sistemas de tipos
- Resumo: o projeto de uma linguagem de programação exige que muitas escolhas sejam feitas e muitas delas dizem respeito ao sistema de tipos. Vamos avaliar diferentes aspectos de sistemas de tipos e suas consequências, comparando e exemplificando com várias linguagens diferentes. O objetivo é esclarecer e desmentir várias crenças comuns sobre tipos, e ao mesmo tempo despertar a curiosidade pelo estudo do projeto e implementação de linguagens de programação.
- Conhecimentos necessários: experiência com programação em qualquer linguagem;
- Língua: Português
