Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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