Totalement Typé avec Idris

Idris, une nouvelle langage avec une fonctionnalité qui s'appelle "types dépendants" nous offre une expérience de développement bien différente - le Type Driven Development.

Explorons rapidement les concepts dans ce langage - holes, typage interactive avec le Repl, totalité des fonctions, Type-Define-Refine, génération de squelette de code à partir des types. Et même solution automatique proposé par le compilateur, grâce aux types!

On est bien loin des erreurs de compilation obscures!