Idris
Idris
Σχετικά με IdrisΕξάσκηση

Θέλεις να μάθεις και να κατακτήσεις τη διαδρομή Idris;

Γίνε μέλος στη διαδρομή Idris του Exercism και απόκτησε πρόσβαση σε 58 ασκήσεις με αυτόματη ανάλυση του κώδικά σου και προσωπική καθοδήγηση, όλα 100% δωρεάν.

Γίνε μέλος στη διαδρομή Idris Εξερεύνησε τις ασκήσεις

Σχετικά με τη διαδρομή 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 ασκήσεις προγραμματισμού για τη διαδρομή Idris στο Exercism. Από την άσκηση Άνθρωπος με φακό ως την άσκηση Κόσκινο.

Γίνε καλύτερος στον προγραμματισμό με διασκεδαστικές, ανταποδοτικές ασκήσεις προγραμματισμού στο Exercism, που ελέγχουν πόσο καλά κατανοείς τις έννοιες.

Άνθρωπος με φακό

Άνθρωπος με φακό

Χρησιμοποίησε φακούς για να ενημερώσεις εμφωλευμένες καταγραφές (ειδικά για γλώσσες με αμετάβλητα δεδομένα).

Σταγόνες βροχής

Σταγόνες βροχής

Μετέτρεψε έναν αριθμό στους αντίστοιχους ήχους σταγόνας βροχής: Pling, Plang και Plong.

Κόσκινο

Κόσκινο

Χρησιμοποίησε το Κόσκινο του Ερατοσθένη για να βρεις όλους τους πρώτους αριθμούς από το 2 μέχρι έναν δεδομένο αριθμό.

Δες όλες τις ασκήσεις της διαδρομής Idris στο Exercism

Βασικά χαρακτηριστικά της διαδρομής Idris

Idris

Εξαρτημένοι τύποι

Η ασφάλεια πάνω απ' όλα! Ισχυρές εγγυήσεις για την ορθότητα των προγραμμάτων κατά τη μεταγλώττιση.

Καθαρά συναρτησιακή

Εμπνευσμένη από τον λογισμό λάμδα, εκφράζει πεδία εμβέλειας και βρόχους μέσω ορισμού και κλήσης συναρτήσεων.

Κλάσεις τύπων

Η κατηγοριοποίηση των τύπων σε κλάσεις παρέχει υπερφόρτωση με ασφάλεια τύπων.

Πολυνηματική

Τα αμετάβλητα δεδομένα κάνουν την ταυτοχρονία ασφαλέστερη και πιο εύκολη στην κατανόηση.

Συμπαγής

Η Idris παρέχει έναν μικρό αριθμό γενικών χαρακτηριστικών.

Καινοτόμα

Η Idris είναι ένα ενεργά αναπτυσσόμενο πεδίο δοκιμών για έρευνα

Καθοδηγήσου με τον τρόπο της διαδρομής Idris

Κάθε γλώσσα έχει τον δικό της τρόπο να κάνει τα πράγματα. Η διαδρομή Idris δεν αποτελεί εξαίρεση. Οι μέντορές μας θα σε βοηθήσουν να μάθεις να σκέφτεσαι σαν προγραμματιστής Idris και να γράφεις ιδιωματικό κώδικα σε Idris. Μόλις λύσεις μια άσκηση, υποβάλε την στην εθελοντική μας ομάδα και θα σου δώσουν υποδείξεις, ιδέες και σχόλια για το πώς να τη φέρεις πιο κοντά σε αυτό που θα έβλεπες συνήθως σε Idris - θα σε βοηθήσουν να ανακαλύψεις όσα δεν ξέρεις ότι δεν ξέρεις.

Μάθε περισσότερα για την καθοδήγηση

Ασκήσεις Idris από την κοινότητα

Η διαδρομή Idris στο Exercism έχει 58 ασκήσεις για να σε βοηθήσει να γράφεις καλύτερο κώδικα.

Δες όλες τις ασκήσεις της διαδρομής Idris
Idris

Ξεκίνα με τη διαδρομή Idris

Και το καλύτερο: είναι 100% δωρεάν για όλους.

Γράψου στη διαδρομή Idris