Προνόμιο

Ready to put your newfound language skills into use? Get 40% off CodeCrafter's real-world proficiency projects!

Διεκδίκησε την έκπτωσή σου
Διαδρομές
/
Idris
Idris
/
Ασκήσεις
/
Hello World
Hello World

Hello World

Εκπαιδευτική άσκηση
Επισκόπηση

Εισαγωγή

Το "Hello, World!" θα σε βάλει να γράψεις λίγο κώδικα σε Idris και θα σε εξοικειώσει με τη ροή εργασίας του Exercism. Η ολοκλήρωσή του ξεκλειδώνει την υπόλοιπη διαδρομή Idris.

Δες το βίντεό μας "Εισαγωγή στο Hello, World" για να ξεκινήσεις 👇

Οδηγίες

Η κλασική εισαγωγική άσκηση. Πες απλώς "Hello, World!".

Το "Hello, World!" είναι το παραδοσιακό πρώτο πρόγραμμα για όποιον ξεκινά προγραμματισμό σε μια νέα γλώσσα ή περιβάλλον.

Οι στόχοι είναι απλοί:

  • Τροποποίησε τον κώδικα που σου δίνεται ώστε να παράγει τη συμβολοσειρά "Hello, World!".
  • Τρέξε τη σουίτα δοκιμών και βεβαιώσου ότι περνάει.
  • Υπέβαλε τη λύση σου και έλεγξέ την στον ιστότοπο.

Αν όλα πάνε καλά, θα είσαι έτοιμος να κατεβάσεις την πρώτη σου πραγματική άσκηση.

Πηγή

Πρόκειται για μια άσκηση που μυεί τους χρήστες στη χρήση του ExercismΟ σύνδεσμος ανοίγει σε νέο παράθυρο ή καρτέλα
Επεξεργασία μέσω GitHub Ο σύνδεσμος ανοίγει σε νέο παράθυρο ή καρτέλα
Idris Exercism

Έτοιμος να ξεκινήσεις την άσκηση Hello World;

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

Γράψου, είναι δωρεάν! Συνδέσου στο Exercism