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 Aperto de mão secreto a Números perfeitos.

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

Aperto de mão secreto

Aperto de mão secreto

Dado um número decimal, converte-o na sequência de eventos adequada para um aperto de mão secreto.

Trio de cores de resistência

Trio de cores de resistência

Converte códigos de cores, como os usados nas resistências, numa etiqueta legível para humanos.

Números perfeitos

Números perfeitos

Determina se um número é perfeito, abundante ou deficiente, com base no esquema de classificação de Nicómaco (60 - 120 d.C.) para os números inteiros positivos.

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