Alice è un linguaggio di programmazione funzionale basata su ML standard, esteso con un ricco supporto per la programmazione concorrente, distribuita, e costrizione.
Qui sono alcune caratteristiche chiave di "Alice ML":
ย ท Futures: pigrizia e leggero concorrenza con la sincronizzazione dei dati di flusso
ย ท moduli di ordine superiore: funtori di ordine superiore e le firme astratte
ย ท Pacchetti: integrazione statica con tipizzazione dinamica e moduli di prima classe
ย ท decapaggio: ordine superiore type-safe, persistenza generico e indipendente dalla piattaforma
ย ท Componenti: piattaforma-indipendenza e caricamento dinamico type-safe di moduli
ย ท Distribuzione: multipiattaforma funzioni remote type-safe e rete di mobilità
ย ท Vincoli: risolvere i problemi combinatorical con propagazione di vincoli e di ricerca programmabile
Il sistema di Alice è un ricco sistema di programmazione open-source con i seguenti strumenti:
ย ท macchina virtuale: una macchina virtuale portatile con supporto per la compilazione just-in-time
ย ท Sistema interattivo: un primo livello interattivo interprete-like
ย ท compilatore Batch: compilazione separata
ย ท linker statica: bundling type-safe di componenti
ย ท Ispettore: uno strumento per strutture di dati in modo interattivo, ispezionando
ย ท Explorer: uno strumento per indagare in modo interattivo problemi di ricerca
ย ท Gtk +: un binding per la libreria GUI toolkit Gnome
ย ท SQL: una libreria per l'accesso a database SQL
ย ท XML: una semplice libreria per il parsing di documenti XML
Cosa c'è di nuovo in questo rilascio:
ย ท Alice ora incorpora alcune delle estensioni proposte per Successore ML.
ย ท Il jitter bytecode è ora l'unità di esecuzione di default.
ย ท La documentazione include un tutorial programmazione con vincoli, e la biblioteca vincolo ora utilizza la versione stabile corrente di Gecode.
I commenti non trovato