- Η ομάδα TypeScript επέλεξε μια θύρα για να προχωρήσει σε πλήρη επανεγγραφή, ώστε να διατηρήσει τα μηνύματα σφάλματος και τη σημασιολογία ίδια.
- Η συλλογή απορριμμάτων και τα κορυφαία κλεισίματα της Go ήταν απαραίτητα για τον χειρισμό των πολύπλοκων δομών δεδομένων του μεταγλωττιστή.
- Ο ελεγκτής δανεισμού του Rust θα είχε επιβάλει χειροκίνητες λύσεις για κυκλικές αναφορές, προσθέτοντας περιττή πολυπλοκότητα.
- Το Go παρείχε ώριμη εγγενή δημιουργία κώδικα και ταυτόχρονη χρήση κοινόχρηστης μνήμης χωρίς καμία επιπλέον προσπάθεια.
Όταν η ομάδα TypeScript αποφάσισε να μεταφέρει τον μεταγλωττιστή της σε μια νέα γλώσσα, είχε έναν σαφή στόχο: να διατηρήσει τα πάντα να λειτουργούν ακριβώς όπως πριν. Αυτό σήμαινε τη διατήρηση των ακριβών μηνυμάτων σφάλματος και της σημασιολογίας στα οποία βασίζονταν οι προγραμματιστές εδώ και χρόνια. Σύμφωνα με τον Anders Hejlsberg, τον επικεφαλής αρχιτέκτονα, μια πλήρης επανεγγραφή ήταν εκτός συζήτησης επειδή θα διακινδύνευε να διακόψει τη συμβατότητα με παλαιότερες εκδόσεις. Αντ' αυτού, επέλεξαν μια μεταφορά - και αυτή η απόφαση έθεσε το σκηνικό για μια εκπληκτική επιλογή: Να αντικαταστήσουν το Rust.
Η μεταφορά χρειαζόταν μια γλώσσα που θα μπορούσε να χειριστεί τις περίπλοκες εσωτερικές δομές του μεταγλωττιστή χωρίς να επιβάλει σημαντικές αλλαγές. Η ομάδα γρήγορα συνειδητοποίησε ότι η συλλογή απορριμμάτων και τα κορυφαία κλεισίματα ήταν αδιαπραγμάτευτα. Το Go προσφέρει και τα δύο άμεσα διαθέσιμα, μαζί με ώριμη εγγενή δημιουργία κώδικα και ταυτόχρονη χρήση κοινόχρηστης μνήμης σε κάθε μεγάλη πλατφόρμα. Το Rust, από την άλλη πλευρά, θα απαιτούσε σημαντικές χειροκίνητες λύσεις, ειδικά για τις κυκλικές δομές δεδομένων του μεταγλωττιστή.
Γιατί να ξεπεράσετε τη σκουριά για το λιμάνι
Ο Hejlsberg εξήγησε ότι ο μεταγλωττιστής είναι γεμάτος από γονικούς δείκτες, αναδρομικούς τύπους και σύμβολα που αναφέρονται το ένα στο άλλο. Αυτά δημιουργούν κυκλικές αναφορές που είναι φυσικές σε μια γλώσσα με συλλογή απορριμμάτων. Το runtime του Go χειρίζεται αυτό άψογα, επιτρέποντας στην ομάδα να επικεντρωθεί στη μεταφορά αντί να μάχεται με τη γλώσσα. Ο ελεγκτής δανεισμού του Rust, αν και ισχυρός για την ασφάλεια της μνήμης, απλώς δεν επιτρέπει αυτό το σχήμα χωρίς να καταφύγει σε μη ασφαλή κώδικα ή κόλπα καταμέτρησης αναφορών. Αυτό θα πρόσθεταν πολυπλοκότητα και κίνδυνο, χωρίς σαφές αποτέλεσμα.
Κατά τη σύγκριση των δύο γλωσσών, η ομάδα δεν βρήκε κανένα σημαντικό πλεονέκτημα στην παραγωγή κώδικα ή την ταυτόχρονη εκτέλεση για την Rust. Η εγγενής παραγωγή κώδικα της Go είναι ήδη ώριμη και οι gorutines της παρέχουν ένα απλό, αποτελεσματικό μοντέλο για ταυτόχρονη εκτέλεση. Η απόδοση της Rust μπορεί να είναι ελαφρώς καλύτερη σε ορισμένες περιπτώσεις ακραίων χαρακτηριστικών, αλλά η επιπλέον προσπάθεια που απαιτείται για να λειτουργήσει ο μεταγλωττιστής με τους κανόνες ιδιοκτησίας του δεν ήταν δικαιολογημένη. Η μεταφορά έπρεπε να είναι ρεαλιστική και όχι μια επίδειξη χαρακτηριστικών γλώσσας.
Συμβατότητα και Σημασιολογία: Η Κορυφαία Προτεραιότητα
Ο κύριος παράγοντας πίσω από την μεταφορά ήταν η διατήρηση της ίδιας συμπεριφοράς. Οι προγραμματιστές βασίζονται στα μηνύματα σφάλματος του TypeScript για τον εντοπισμό σφαλμάτων στον κώδικά τους και οποιαδήποτε αλλαγή θα μπορούσε να διαταράξει τις ροές εργασίας τους. Μεταφέροντας σε Go, η ομάδα θα μπορούσε να επαναχρησιμοποιήσει την υπάρχουσα λογική και τις δομές δεδομένων, διασφαλίζοντας ότι η έξοδος παραμένει συμβατή με byte προς byte. Αυτή η προσέγγιση μειώνει επίσης τον κίνδυνο εισαγωγής ανεπαίσθητων σφαλμάτων που μπορεί να προκαλέσει μια επανεγγραφή.
Η συλλογή απορριμμάτων του Go ήταν ένας βασικός παράγοντας που επέτρεψε την ομαλή λειτουργία του. Το εσωτερικό γράφημα κόμβων και αναφορών του μεταγλωττιστή είναι σε μεγάλο βαθμό διασυνδεδεμένο και η χειροκίνητη διαχείριση μνήμης θα ήταν ένας εφιάλτης. Με το Go, η ομάδα μπορεί να διαθέσει και να απελευθερώσει μνήμη αυτόματα, επιτρέποντάς της να επικεντρωθεί στη λογική του μεταγλωττιστή. Τα κορυφαία κλεισίματα διευκόλυναν επίσης την υλοποίηση των διαφόρων περασμάτων και μετασχηματισμών που εκτελεί ο μεταγλωττιστής, καθώς μπορούν να καταγράψουν το περιβάλλον με φυσικό τρόπο.
Έλεγχος Δανείου του Rust: Μια λύση για την ανατροπή
Ο ελεγκτής δανεισμού του Rust έχει σχεδιαστεί για να αποτρέπει τους αγώνες ταχύτητας δεδομένων και τα σφάλματα μνήμης κατά τη μεταγλώττιση, αλλά συνοδεύεται από αυστηρούς κανόνες. Οι δομές δεδομένων του μεταγλωττιστή TypeScript είναι γεμάτες κύκλους και κοινόχρηστες αναφορές, τις οποίες ο ελεγκτής δανεισμού απορρίπτει, εκτός εάν χρησιμοποιείτε μη ασφαλή μπλοκ ή Rc/RefCell. Ο Hejlsberg σημείωσε ότι αυτό θα επέβαλε χειροκίνητες λύσεις για κάθε κυκλική δομή δεδομένων, προσθέτοντας στερεότυπα και καθιστώντας τον κώδικα πιο δύσκολο στη συντήρηση. Δεν υπήρχε πλεονέκτημα δημιουργίας κώδικα ή ταυτόχρονης λειτουργίας που να δικαιολογεί αυτήν την επιπλέον εργασία.
Τελικά, η επιλογή ήταν ξεκάθαρη. Η Go προσέφερε τη σωστή ισορροπία απλότητας, απόδοσης και συμβατότητας. Η μεταφορά βρίσκεται τώρα σε εξέλιξη και η ομάδα είναι βέβαιη ότι θα προσφέρει την ίδια εμπειρία TypeScript με έναν ταχύτερο και πιο αποτελεσματικό μεταγλωττιστή. Για τους προγραμματιστές, αυτό δεν σημαίνει εκπλήξεις—απλώς το ίδιο αξιόπιστο εργαλείο που χρησιμοποιούσαν πάντα, που λειτουργεί σε πιο σύγχρονες βάσεις.
Λαμβάνοντας υπόψη όλα τα δεδομένα, η απόφαση να επιλεγεί το Go αντί του Rust για την μεταφορά TypeScript εξαρτάται από την πρακτική μηχανική. Η ανάγκη για συλλογή απορριμμάτων, άριστα κλεισίματα και απρόσκοπτη διαχείριση κυκλικών αναφορών έκανε το Go την ιδανική επιλογή. Οι εγγυήσεις ασφάλειας του Rust είναι εντυπωσιακές, αλλά έχουν ένα κόστος που η ομάδα του TypeScript δεν ήταν διατεθειμένη να πληρώσει. Το αποτέλεσμα είναι μια μεταφορά που διατηρεί όλα όσα αγαπούν οι προγραμματιστές στο TypeScript, ενώ παράλληλα θέτει τις βάσεις για μελλοντικές βελτιώσεις.
