TypeTheory no Garoa
Ir para navegação
Ir para pesquisar
TypeTheory no Garoa é uma iniciativa para conversarmos sobre.. TypeTheory (errr...), linguagens, teoria das categorias, matemática, homotopy e assuntos relacionados no Garoa Hacker Clube.
Formato
A definir. Em aberto: formato aula, debate, apresentação
Temas
Todos podem opinar e solicitar temas. :)
1º encontro: Overview
"A importância da lógica formal no estudo de Type Theory"
Outros tópicos que seriam legais para serem discutidos
- WTF TypeTheory? 101 para entender os conceitos
- Por que estudar TypeTheory é interessante
- De onde surgiu isso?
- Alguns exemplos em Rust, Haskell, etc
- Por que isso é importante?
- Aplicações
- Como evoluir o estudo - Homotopy e Category Theory
Pré-requisitos
- Saber fazer as quatro operações
- Ter curiosidade para aprender um pouco de TypeTheory a estrutura de linguagens
- Caso deseje instale suporte para Rust, Haskell ou outra linguagem que queira investigar
Como participar
Basta aparecer na sede do Garoa. Não precisa se inscrever.