Skip to content
This repository has been archived by the owner on Aug 14, 2024. It is now read-only.

Latest commit

 

History

History
108 lines (91 loc) · 6.59 KB

README.md

File metadata and controls

108 lines (91 loc) · 6.59 KB

Idris2Noobs

Uma introdução a linguagem de programação Idris2 em português.

Todo

  • Escrever tudo
  • Melhorar site e botar questões como Quiz
  • Refazer os desenhos pra deixar mais explicativos

Sumário

1. Introdução

2. Adivinhe o número

3. Tipos primitivos e funções

4. Estruturas úteis

5. Brincando com IO

6. Tipos algebricos e compostos.

8. Interfaces

  • Interfaces
  • Extendendo Interfaces
  • Constraints
  • Categorias
    • Functor
    • Semigroup
    • Monoid
    • Applicative
    • Monad
  • Exercicios

9. Dependent Types

  • Tipos de primeira classe
  • Tipos dependendo de termos
  • Dependent Records
  • Pares dependentes
  • Exemplos de Dependent Types
    • Vetores Indexados
    • Sets finitos
    • Função Arity
  • Argumentos implicitos
  • Exemplos de código
    • Printf
    • Server Path Dependente
  • Exercicios

10. Multiplices

  • Linear Types
  • Exemplos:
    • A porta