Το GNAT Community 2020 κυκλοφόρησε

Έφυγε Κοινότητα GNAT 2020 - μια εργαλειοθήκη ανάπτυξης στη γλώσσα Ada. Το πακέτο περιλαμβάνει έναν μεταγλωττιστή, ένα ολοκληρωμένο περιβάλλον ανάπτυξης GNAT Studio, έναν στατικό αναλυτή για ένα υποσύνολο της γλώσσας SPARK, έναν εντοπισμό σφαλμάτων GDB και ένα σύνολο βιβλιοθηκών. Πλαστική σακούλα διανέμονται από σύμφωνα με τους όρους της άδειας GPL.

Βασικές αλλαγές:

  • Ο μεταγλωττιστής έχει προσθέσει υποστήριξη για πολλές καινοτομίες από το επερχόμενο προσχέδιο
    Πρότυπο γλώσσας Ada 202x.
    Το backend έχει ενημερωθεί στο GCC 9 (για όλες τις πλατφόρμες εκτός από το macOS). Προστέθηκε υποστήριξη για την πλατφόρμα RISC-V 64.

  • Το περιβάλλον ανάπτυξης GNAT Studio χρησιμοποιεί τώρα
    LSP σας
    (Πρωτόκολλο διακομιστή γλώσσας) για τη γλώσσα Ada. Με βάση τον ίδιο διακομιστή, έχει υλοποιηθεί μια επέκταση για τον κώδικα του Visual Studio, η οποία είναι πλέον διαθέσιμη στο
    Visual Studio Marketplace.

  • В Αναλυτής SPARK Προστέθηκε υποστήριξη για ιδιοκτησία δείκτη (όπως στο Rust), η οποία σας επιτρέπει να αποδείξετε την απουσία σφαλμάτων μνήμης και την απουσία διαρροών μνήμης. Το υποστηριζόμενο υποσύνολο της γλώσσας έχει επεκταθεί με νέες κατασκευές.

Πηγή: opennet.ru

Προσθέστε ένα σχόλιο