Alice ML

Alice is 'n funksionele programmeertaal gebaseer op Standard ML, uitgebrei met 'n ryk ondersteuning vir gelyktydige, versprei, en beperking programmering.
Hier is 'n paar belangrike funksies van "Alice ML":
ย ท Futures: luiheid en ligte concurrency met data-vloei sinchronisasie
ย ท Hoër-orde modules: hoër-orde functors en abstrakte handtekeninge
ย ท Pakkette: integrasie statiese met dinamiese tik en die eerste klas modules
ย ท Beit: hoër-orde-tipe veilige, generiese & platform-onafhanklike volharding
ย ท komponente: platform-onafhanklikheid en tipe-veilige dinamiese laai van modules
ย ท Verspreiding: tipe veilige cross-platform afgeleë funksies en netwerk mobiliteit
ย ท Beperkings: die oplossing van probleme met behulp van combinatorical beperking voortplanting en programmeerbare search
Die Alice System is 'n ryk open-source ontwikkeling stelsel met die volgende instrumente:
 
ย ท virtuele masjien: 'n draagbare VM met die ondersteuning vir net-in-time samestelling
ย ท Interaktiewe stelsel: 'n tolk-agtige interaktiewe toplevel
ย ท Batch samesteller: aparte samestelling
ย ท Static linker: Tipe-veilige bundeling van die komponente
ย ท Inspekteur: 'n instrument vir interaktief inspekteer data strukture
ย ท Explorer: 'n instrument vir interaktief ondersoek search probleme
ย ท Gtk +: 'n bindende vir die Gnome toolkit GUI biblioteek
ย ท SQL: 'n biblioteek vir toegang tot SQL databasis
ย ท XML: 'n eenvoudige biblioteek vir die ontleding van XML-dokumente
Wat is nuut in hierdie release:
ย ท Alice sluit nou 'n paar van die voorgestelde uitbreidings vir Opvolger ML.
ย ท Die bytecode beweging is nou die standaard uitvoering eenheid.
ย ท Die dokumentasie sluit 'n beperking programmering handleiding, en die beperking biblioteek gebruik nou die huidige stabiele weergawe van Gecode.