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 Soma dos múltiplos a Microblog.

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

Soma dos múltiplos

Soma dos múltiplos

Dado um número, encontre a soma de todos os múltiplos de determinados números até, mas sem incluir, esse número.

Codificação run-length

Codificação run-length

Implemente a codificação e a decodificação run-length.

Microblog

Microblog

Dada uma string de entrada, trunque-a para 5 caracteres.

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