Idris
Idris
Sobre IdrisPraticar

Queres aprender e dominar Idris?

Junta-te ao Percurso de Idris do Exercism para teres acesso a 58 exercícios com análise automática do teu código e mentoria pessoal, tudo 100% gratuito.

Junta-te ao Percurso de Idris Explora os exercícios

Sobre Idris

module EvenOdd

data Even : Nat -> Type where
  EZ : Even Z
  ES : Even n -> Even (S (S n))

ee : Even n -> Even m -> Even (n + m)
ee EZ m     = m
ee (ES n) m = ES (ee n m)

58 exercícios de programação de Idris no Exercism. De Dominó a Contagem de nucleótidos.

Torna-te melhor a programar com exercícios divertidos e gratificantes que põem à prova a tua compreensão dos conceitos no Exercism.

Dominó

Dominó

Cria uma cadeia de dominós.

Pesquisa binária

Pesquisa binária

Implementa um algoritmo de pesquisa binária.

Contagem de nucleótidos

Contagem de nucleótidos

Dada uma string de ADN, calcula quantas vezes cada nucleótido ocorre na string.

Vê todos os exercícios de Idris no Exercism

Funcionalidades principais de Idris

Idris

Com tipos dependentes

Segurança em primeiro lugar! Garantias fortes sobre a correção dos programas em tempo de compilação.

Puramente funcional

Inspirada no cálculo lambda, expressa âmbitos e ciclos através da definição e da chamada de funções.

Classes de tipos

Categorizar os tipos em classes proporciona sobrecarga com segurança de tipos.

Com múltiplas threads

Como os dados são imutáveis, a concorrência é mais segura e mais fácil de compreender.

Compacta

O Idris disponibiliza um pequeno número de funcionalidades de uso geral.

Inovadora

O Idris é um campo de testes de investigação em desenvolvimento ativo

Recebe mentoria ao estilo de Idris

Cada linguagem tem a sua própria forma de fazer as coisas. Idris não é exceção. Os nossos mentores vão ajudar-te a aprender a pensar como um programador de Idris e a escrever código idiomático em Idris. Depois de resolveres um exercício, submete-o à nossa equipa de voluntários e eles darão dicas, ideias e feedback sobre como fazer com que o teu código se pareça mais com aquilo que costumas ver em Idris. Vão ajudar-te a descobrir as coisas que não sabes que não sabes.

Sabe mais sobre mentoria

Exercícios de Idris criados pela comunidade

O percurso Idris do Exercism tem 58 exercícios para te ajudar a escrever melhor código.

Vê todos os exercícios de Idris
Idris

Começa com o percurso Idris

A melhor parte: é 100% gratuito para todos.

Junta-te ao percurso Idris