Idris
Idris
À propos de IdrisEntraînement

Tu veux apprendre et maîtriser Idris ?

Rejoins le parcours Idris d’Exercism pour accéder à 58 exercices avec l'analyse automatique de ton code et un mentorat personnalisé, et tout cela 100 % gratuit.

Rejoins le parcours Idris Explore les exercices

À propos de 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 exercices de programmation pour Idris sur Exercism. De Hamming à Codage par plages.

Améliore tes compétences en programmation grâce à des exercices ludiques et gratifiants qui testent ta compréhension des concepts avec Exercism.

Hamming

Hamming

Calculer la distance de Hamming entre deux brins d'ADN.

Le jeu de la vie de Conway

Le jeu de la vie de Conway

Implémente le jeu de la vie de Conway.

Codage par plages

Codage par plages

Implémenter le codage par plages et son décodage.

Voir tous les exercices Idris sur Exercism

Les fonctionnalités clés de Idris

Idris

Typage dépendant

La sécurité avant tout ! Des garanties solides sur la correction des programmes à la compilation.

Purement fonctionnel

Inspiré du lambda-calcul, on exprime les portées et les boucles en définissant et en appelant des fonctions.

Classes de types

Classer les types en classes permet une surcharge sûre du point de vue des types.

Multi-thread

L'immuabilité des données permet une concurrence plus sûre et plus simple à appréhender.

Compact

Idris fournit un petit nombre de fonctionnalités généralistes.

Innovant

Idris est un banc d'essai de recherche activement développé

Un mentorat à la manière de Idris

Chaque langage a sa propre façon de faire les choses. Idris ne fait pas exception. Nos mentors t'aideront à apprendre à penser comme un développeur Idris et à écrire du code idiomatique en Idris. Une fois que tu as résolu un exercice, soumets-le à notre équipe de bénévoles, qui te donnera des indices, des idées et des retours sur la façon de le rapprocher de ce que tu verrais habituellement en Idris. Ils t'aideront ainsi à découvrir les choses que tu ne sais pas que tu ne sais pas.

En savoir plus sur le mentorat

Des exercices Idris issus de la communauté

Le parcours Idris sur Exercism propose 58 exercices pour t'aider à écrire du code de meilleure qualité.

Voir tous les exercices Idris
Idris

Lance-toi dans le parcours Idris

Le meilleur, c'est que c'est 100 % gratuit pour tout le monde.

Rejoins le parcours Idris