Idris
Idris
Sobre IdrisPraticar

Quer aprender e dominar Idris?

Junte-se à Trilha Idris do Exercism e tenha acesso a 58 exercícios com análise automática do seu código e mentoria pessoal, tudo 100% grátis.

Junte-se à Trilha Idris Explorar 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 Cifra rotacional a Mochila.

Melhore suas habilidades de programação com exercícios divertidos e gratificantes que testam sua compreensão dos conceitos no Exercism.

Cifra rotacional

Cifra rotacional

Crie uma implementação da cifra rotacional, também chamada às vezes de cifra de César.

Simulador de robô

Simulador de robô

Escreva um simulador de robô.

Mochila

Mochila

Dada uma mochila que só pode carregar um determinado peso, determine quais itens colocar na mochila para maximizar o valor combinado deles.

Ver todos os exercícios de Idris no Exercism

Principais recursos de Idris

Idris

Tipagem dependente

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, a linguagem expressa escopos e laços por meio da definição e da chamada de funções.

Classes de tipos

Categorizar tipos em classes oferece sobrecarga com segurança de tipos.

Multithread

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

Compacta

O Idris oferece um pequeno número de recursos de propósito geral.

Inovadora

O Idris é um campo de testes de pesquisa em desenvolvimento ativo

Receba mentoria no estilo Idris

Toda linguagem tem o seu próprio jeito de fazer as coisas. Com Idris não é diferente. Nossos mentores vão ajudar você a aprender a pensar como um desenvolvedor de Idris e a escrever código idiomático em Idris. Depois de resolver um exercício, envie-o para a nossa equipe de voluntários, e eles vão dar dicas, ideias e feedback sobre como deixá-lo mais parecido com o que você normalmente veria em Idris. Eles vão ajudar você a descobrir as coisas que você não sabe que não sabe.

Saiba mais sobre mentoria

Exercícios de Idris criados pela comunidade

A trilha de Idris no Exercism tem 58 exercícios para ajudar você a escrever código melhor.

Ver todos os exercícios de Idris
Idris

Comece agora na trilha de Idris

E o melhor de tudo: é 100% grátis para todo mundo.

Entre na trilha de Idris