Idris
Idris
Über IdrisÜben

Willst du Idris lernen und meistern?

Komm zum Idris-Track von Exercism und erhalte Zugang zu 58 Übungen mit automatischer Analyse deines Codes und persönlichem Mentoring, alles 100 % kostenlos.

Tritt dem Idris-Track bei Übungen entdecken

Über 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 Programmierübungen für Idris bei Exercism. Von Bob bis Treffen.

Werde besser im Programmieren mit unterhaltsamen, lohnenden Programmierübungen bei Exercism, die dein Verständnis von Konzepten auf die Probe stellen.

Bob

Bob

Bob ist ein gleichgültiger Teenager. Im Gespräch sind seine Antworten sehr begrenzt.

Hamming

Hamming

Berechne die Hamming-Distanz zwischen zwei DNA-Strängen.

Treffen

Treffen

Berechne das Datum von Treffen.

Alle Idris-Übungen bei Exercism ansehen

Hauptmerkmale von Idris

Idris

Abhängig typisiert

Sicherheit zuerst! Starke Garantien für die Korrektheit von Programmen zur Compile-Zeit.

Rein funktional

Inspiriert vom Lambda-Kalkül drückst du Gültigkeitsbereiche und Schleifen aus, indem du Funktionen definierst und aufrufst.

Typklassen

Die Einordnung von Typen in Klassen ermöglicht typsicheres Überladen.

Multithreading

Weil Daten unveränderlich sind, ist Nebenläufigkeit sicherer und leichter zu durchdenken.

Kompakt

Idris bietet nur eine kleine Anzahl allgemein einsetzbarer Features.

Innovativ

Idris ist eine aktiv weiterentwickelte Testumgebung für die Forschung

Mentoring auf Idris-Art

Jede Sprache hat ihre eigene Art, die Dinge anzugehen. Idris ist da keine Ausnahme. Unsere Mentorinnen und Mentoren helfen dir, wie ein Idris-Entwickler zu denken und idiomatischen Code in Idris zu schreiben. Wenn du eine Übung gelöst hast, reiche sie unserem Freiwilligenteam ein. Es gibt dir Hinweise, Ideen und Feedback dazu, wie du die Übung so gestaltest, wie man es in Idris normalerweise sieht. So hilft es dir, Dinge zu entdecken, von denen du nicht weißt, dass du sie nicht weißt.

Mehr über Mentoring erfahren

Übungen aus der Community für Idris

Der Idris-Track auf Exercism hat 58 Übungen, mit denen du besseren Code schreibst.

Alle Idris-Übungen ansehen
Idris

Leg mit dem Idris-Track los

Das Beste: Es ist für alle zu 100 % kostenlos.

Tritt dem Idris-Track bei