Mudanças entre as edições de "TypeTheory no Garoa"

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.

@@ Linha 10: / Linha 10: @@
 === 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