TypeTheory no Garoa

De Garoa Hacker Clube
Revisão de 14h54min de 3 de dezembro de 2015 por Hannelita (discussão | contribs) (→‎Formato)
(dif) ← Edição anterior | Revisão atual (dif) | Versão posterior → (dif)
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.