Alice είναι μια λειτουργική γλώσσα προγραμματισμού που βασίζεται στο πρότυπο ML, επεκτείνεται με πλούσια υποστήριξη για ταυτόχρονη, διανεμηθεί, και τον περιορισμό του προγραμματισμού.
Εδώ είναι μερικά βασικά χαρακτηριστικά του "Alice ML":
ย ท Futures: τεμπελιά και ελαφρύ συγχρονισμός με το συγχρονισμό των δεδομένων ροής
ย ท ενότητες υψηλός-διαταγής: συναρτητές ανώτερης τάξης και αφηρημένα υπογραφές
ย ท Πακέτα: ενσωμάτωση της στατικής με δυναμική δακτυλογράφηση και ενότητες πρώτης κατηγορίας
ย ท αποξείδωση: ανώτερης τάξης τύπου ασφαλή, γενόσημα και ανεξάρτητα από την πλατφόρμα επιμονή
ย ท Συστατικά: πλατφόρμα-ανεξαρτησία και τύπου ασφαλή δυναμική φόρτωση των ενοτήτων
ย ท Διανομή: τύπου ασφαλή cross-platform λειτουργίες απομακρυσμένου και το δίκτυο κινητικότητας
ย ท Περιορισμοί: επίλυση των προβλημάτων με τη χρήση combinatorical διάδοση περιορισμών και προγραμματιζόμενη αναζήτηση
Η Αλίκη System είναι ένα πλούσιο σύστημα προγραμματισμού ανοιχτού κώδικα που διαθέτει τα παρακάτω εργαλεία:
ย ท Εικονική μηχανή: ένας φορητός VM με υποστήριξη για την κατάρτιση just-in-time
ย ท σύστημα Interactive: ένα διαδραστικό toplevel διερμηνέα, όπως
ย ท παρτίδας compiler: χωριστή συλλογή
ย ท Στατική συνδετήρας: τύπου ασφαλή ομαδοποίηση των συνιστωσών
ย ท Επιθεωρητής: ένα εργαλείο για διαδραστικά επιθεώρηση δομές δεδομένων
ย ท Explorer: ένα εργαλείο για τη διερεύνηση διαδραστικά προβλήματα αναζήτησης
ย ท GTK +: ένα δεσμευτικό για την εργαλειοθήκη βιβλιοθήκη GUI Gnome
ย ท SQL: μια βιβλιοθήκη για την πρόσβαση σε βάσεις δεδομένων SQL
ย ท XML: μια απλή βιβλιοθήκη για την ανάλυση εγγράφων XML
Τι νέο υπάρχει σε αυτήν την έκδοση:
ย ท Αλίκη πλέον ενσωματώνει ορισμένες από τις προτεινόμενες επεκτάσεις για τον διάδοχό ML.
ย ท Το jitter bytecode είναι τώρα η προεπιλεγμένη μονάδα εκτέλεσης.
ย ท Η τεκμηρίωση περιλαμβάνει ένα εκπαιδευτικό προγραμματισμό περιορισμό, και η βιβλιοθήκη περιορισμός χρησιμοποιεί τώρα την τρέχουσα σταθερή έκδοση του Gecode.
Τα σχόλια δεν βρέθηκε