ceylon — συγκεντρωτικός οδηγός — DedSec Project

Ceylon

Τι προσφέρει η γλώσσα

Η Ceylon υπήρξε στατικά τυποποιημένη modular γλώσσα για JVM και JavaScript. Το οικοσύστημα είναι ιστορικό και πολλά εργαλεία αρχειοθετημένα.

Μικρό παράδειγμα προς μελέτη

shared void run() {
    print("Hello, Ceylon!");
}

Εξέτασε nullable και non-nullable τύπους και δοκίμασε απλό πρόγραμμα μόνο με συμβατό ιστορικό toolchain.

Τι να επαληθεύσεις

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

Παγίδα ειδική για το θέμα

Μη βασίζεις νέο έργο σε μη συντηρούμενες υποδομές packages· κατέγραψε εκδόσεις και ιστορικές πηγές.

Εργαστήριο εξάσκησης: Ceylon

Η Ceylon είναι γλώσσα με στατικό σύστημα τύπων. Η δήλωση shared void run() μπορεί να αποτελεί σημείο εισόδου προγράμματος. Το project δεν συντηρείται πλέον ενεργά· επομένως δεν θεωρούμε δεδομένο ότι κάποιος σύγχρονος package manager διαθέτει κατάλληλο compiler. Για εκτέλεση χρησιμοποίησε μόνο συμβατό, απομονωμένο ιστορικό toolchain.

Άσκηση 1: κατανόηση του μεγέθους συλλογής

shared void run() {
    value names = ["Ada", "Grace", "Linus"];
    print(names.size);
}

Η αναμενόμενη έξοδος είναι 3. Το names.size μετρά τα στοιχεία και δεν μεταβάλλεται αν αναδιατάξεις τα ονόματα. Πρόβλεψε τι θα γίνει με ένα μόνο όνομα και με άδεια ακολουθία. Ξεχώρισε τη συλλογή μηδενικού μήκους από μία ανύπαρκτη προαιρετική τιμή. Το value επιτρέπει συμπερασμό τύπου από την έκφραση, όχι ανεξέλεγκτη δυναμική αλλαγή τύπου.

Άσκηση 2: null και έλεγχος τύπων

Θεώρησε μία μεταβλητή String? name από πηγή που μπορεί να μην επιστρέψει όνομα. Περιέγραψε πώς ένας έλεγχος if (exists name) επιτρέπει χρήση μέσα στο κατάλληλο scope. Στη συνέχεια εξήγησε γιατί η εκχώρηση προαιρετικής τιμής σε υποχρεωτικό String χωρίς έλεγχο είναι πρόβλημα τύπων. Μην παρουσιάζεις ως runtime crash κάτι που ο compiler απορρίπτει πριν την εκτέλεση.

Άσκηση 3: ακολουθία ή σύνολο;

Σχεδίασε λίστα ονομάτων με διπλότυπο στοιχείο και σύγκρινέ την με Set των ίδιων ονομάτων. Σκέψου πότε η σειρά και οι επαναλήψεις έχουν σημασία: ημερολόγιο ενεργειών και κατάλογος μοναδικών μελών δεν έχουν την ίδια απαίτηση. Μην χρησιμοποιείς αυθαίρετη βιβλιοθήκη άλλης γλώσσας μόνο επειδή έχει παρόμοιο όνομα κλάσης.

Απόδειξη μάθησης

Να μπορείς να προβλέψεις μέγεθος για τρία, ένα και μηδέν στοιχεία, να εξηγήσεις το value, να διαχωρίσεις optional από non-optional String και να αιτιολογήσεις την επιλογή δομής. Αν δεν υπάρχει εγκατεστημένη παλιά διανομή Ceylon, χαρακτήρισε τα παραδείγματα στατικά ελεγμένα ως προς την ιδέα και όχι πραγματικά εκτελεσμένα.

Ceylon — Διαδρομή ουσιαστικής εξάσκησης

Στάδιο 1: κατανόηση εκτέλεσης

Διάβασε minimal Ceylon module και βρες module descriptor, package και source directory. Σύγκρινε declarations/imports/visibility με Java χωρίς να υποθέτεις Maven layout.

Στάδιο 2: απόδειξη με ελεγχόμενες δοκιμές

Δημιούργησε nullable String και κάνε type narrowing με existence test. Εξήγησε τον τύπο σε κάθε branch και τη διαφορά union type από cast, σε συμβατό παλιότερο toolchain.

Στάδιο 3: μικρό ολοκληρωμένο έργο

Μοντελοποίησε immutable list transformation και function με input constraints. Σημείωσε compiler και dependencies· η Ceylon είναι discontinued, οπότε νέο JDK δεν εγγυάται συμβατότητα.