Mudanças entre as edições de "TypeTheory no Garoa"
Ir para navegação
Ir para pesquisar
(Criou página com ''''TypeTheory no Garoa''' é uma iniciativa para conversarmos sobre.. TypeTheory (errr...), linguagens, teoria das categorias, matemática, homotopy e assuntos relacionados no...') |
(→Temas) |
||
Linha 10: | Linha 10: | ||
=== 1º encontro: Overview === |
=== 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 |
* WTF TypeTheory? 101 para entender os conceitos |
Edição das 15h29min de 30 de novembro de 2015
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. O primeiro encontro vai rolar num sábado, 28 de novembro, a partir das 14h.
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.