Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/algebraic-dev/idris-4-noobs

📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
https://github.com/algebraic-dev/idris-4-noobs

Last synced: 3 months ago
JSON representation

📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).

Host: GitHub
URL: https://github.com/algebraic-dev/idris-4-noobs
Owner: algebraic-dev
Archived: true
Created: 2021-11-02T22:50:53.000Z (about 3 years ago)
Default Branch: main
Last Pushed: 2022-03-25T16:52:42.000Z (over 2 years ago)
Last Synced: 2024-08-14T04:37:30.390Z (3 months ago)
Language: Idris
Homepage:
Size: 641 KB
Stars: 46
Watchers: 5
Forks: 2
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        
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

- [1.0 Introdução](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#1-introdução)

- [1.1 O que é Idris](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#11-o-que-é-idris)

- [1.2 Diferenças entre Idris 1 e Idris 2](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#12-diferenças-entre-idris-1-e-idris-2)

- [1.3 Instalação](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#13-instalação)

  - [1.3.1 Usuários de Ubuntu](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#131-usuários-de-ubuntu)

  - [1.3.2 Usuários de Linux](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#132-usuários-de-linux)

  - [1.3.2.1 Instalar o Idris2 LSP no Linux](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#1321-instalar-o-idris2-lsp-no-linux)

  - [1.3.3 Para usuários de Windows](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#133-para-usuários-de-windows)

- [1.4 Hello World em Idris](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#14-hello-world-em-idris)

- [1.4 Materiais para aprender sobre Idris](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/1.introducao.md#14-materiais-para-aprender-sobre-idris)

## 2. Adivinhe o número

- [2. Descubra o numero!](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/2.guess.md#2-descubra-o-numero)

- [2.1 Criando um projeto](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/2.guess.md#21-criando-um-projeto)

- [2.2 O arquivo principal](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/2.guess.md#22-o-arquivo-principal)

- [2.3 Como rodar](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/2.guess.md#23-como-rodar)

## 3. Tipos primitivos e funções

- [3.1 Tipos primitivos e funções](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#3-tipos-primitivos-e-funções)

- [3.2 Definições](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#32-definições)

- [3.3 Funções](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#33-funções)

- [3.4 Currying](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#34-currying)

- [3.5 Composição](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#35-composição)

- [3.6 Recursão](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#36-recursão)

- [3.7 Funções do Preludio](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#37-funções-do-preludio)

- [3.8 Totalidade e Holes](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#38-totalidade-e-holes)

- [3.9 Funções de ordem alta](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/3.types-functions.md#39-funções-de-ordem-alta)

## 4. Estruturas úteis

- [4 Expressões Úteis](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/4.estruturas.md#4-expressões-úteis)

- [4.1 Let e Where](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/4.estruturas.md#41-let-e-where)

  - [4.1.1 Let bindings](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/4.estruturas.md#411-let-bindings)

  - [4.1.2 Where](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/4.estruturas.md#412-where)

- [4.2 Cast e The](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/4.estruturas.md#42-cast-e-the)

- [4.3 Expressão If](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/4.estruturas.md#43-expressão-if)

- [4.4 Case](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/4.estruturas.md#44-case)

## 5. Brincando com IO 

- [4. Brincando com IO](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/5.io.md#4-brincando-com-io)

- [4.1 PrintLn e PutStrLn](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/5.io.md#41-println-e-putstrln)

- [5.2 Notação `do`](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/5.io.md#52-notação-do)

- [5.3 getLine](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/5.io.md#53-getline)

## 6. Tipos algebricos e compostos.

- [6.1 Listas](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#61-listas)

  - [6.1.1 Funções úteis e o módulo Data.List](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#611-funções-úteis-e-o-módulo-datalist)

- [6.2 Type variables](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#62-type-variables)

- [6.2 Type Constructors e Data Constructors](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#62-type-constructors-e-data-constructors)

- [6.3 Records](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#63-records)

- [6.4 Exemplos de ADT](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#64-exemplos-de-adt)

  - [6.4.1 Listas](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#641-listas)

  - [6.4.2 Maybe](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#642-maybe)

  - [6.4.3 Either](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#643-either)

  - [6.4.4 Tuplas](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#644-tuplas)

- [6.5 Pattern matching](https://github.com/felipegchi/Idris2Noobs/blob/main/1.Introducao/6.algebraic.md#65-pattern-matching)

- Exercicios

## 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