Αυτόματη Απλοποίηση Και Αναδιαμόρφωση Προγραμμάτων Σε Erlang

Abstract

Στην παρούσα διπλωματική περιγράφουμε τους σχεδιαστικούς στόχους και την τρέχουσα κατάσταση του tidier, ενός εργαλείου λογισμικού που αναδιαμορφώνει πηγαίο κώδικα Erlang, κάνοντάς τον καθαρότερο, απλούστερο και σε πολλές περιπτώσεις και πιο αποδοτικό. Σε αντίθεση με άλλα εργαλεία αναδιαμόρφωσης, ο tidier είναι πλήρως αυτόματος και ανεξάρτητος από άλλες εφαρμογές γραφής κώδικα. Το εν λόγω εργαλείο παρέχει μια ευρεία γκάμα μετασχηματισμών, οι οποίοι μπορούν να επιλεχθούν μέσω ορισμάτων από την γραμμή εντολών και να εφαρμοστούν σε ένα σύνολο αρχείων ή και ολόκληρες εφαρμογές με μία απλή εντολή. Εναλλακτικά, οι χρήστες μπορούν να χρησιμοποιήσουν το γραφικό περιβάλλον που παρέχει ο tidier ώστε να επιβλέπουν ένα προς ένα τους μετασχηματισμούς που πραγματοποιούνται στον κώδικά τους και να επιλέγουν μόνο αυτούς που επιθυμούν. Ο tidier έχει ήδη χρησιμοποιηθεί για να αναδιαμορφωθούν διάφορες εφαρμογές του Erlang/OTP και έχει δοκιμαστεί σε πολλές σημαντικού μεγέθους εφαρμογές Erlang ανοικτού κώδικα. Αναφέρουμε τις εμπειρίες μας και παρουσιάζουμε ευκαιρίες για να εφαρμοστούν οι τρέχοντες μετασχηματισμοί του tidier σε υπάρχοντα κώδικα Erlang. Ως επακόλουθο, σε αυτήν την διπλωματική περιγράφονται και ποιες πρακτικές οδηγούν σε ποιοτικό κώδικα Erlang.Τέλος, περιγράφουμε λεπτομερώς την αυτοματοποιημένη μεθοδολογία αναδιαμόρφωσης κώδικα που υποστηρίζουμε και ένα σύνολο μετασχηματισμών που είναι αρκετά γενικοί ώστε να μπορούν να εφαρμοστούν ως έχουν ή με μικρές παραλλαγές σε προγράμματα γραμμένα σε Haskell ή Clean και ίσως ακόμα και σε μη συναρτησιακές γλώσσες προγραμματισμού.