Alice ML

Alice er et funksjonelt programmeringsspråk basert på Standard ML, utvidet med rik støtte for samtidig, distribueres, og tvang programmering.
Her er noen viktige trekk ved "Alice ML":
ย ท Futures: latskap og lette samtidighet med data-flow synkronisering
ย ท Høyere ordens moduler: høyere orden funktorer og abstrakte signaturer
ย ท Pakker: integrere statisk til dynamisk typing og førsteklasses moduler
ย ท Pickling: høyere ordretype-safe, generisk og plattformuavhengig utholdenhet
ย ท Komponenter: plattform-uavhengighet og type-safe dynamisk lasting av moduler
ย ท Distribusjon: type trygge plattformer eksterne funksjoner og nettverks mobilitet
ย ท Begrensninger: løse combinatorical problemer ved hjelp av tvang forplantning og programmerbar søk
Alice System er en rik open-source programmeringssystem med følgende verktøy:
 
ย ท Virtual Machine: en bærbar VM med støtte for just-in-time kompilering
ย ท Interaktiv system: tolk lignende interaktiv toppnivå
ย ท Batch kompilator: separat kompilering
ย ท Statisk linker: type sikker bunting av komponenter
ย ท Inspector: et verktøy for interaktivt inspisere datastrukturer
ย ท Explorer: et verktøy for interaktivt undersøke søkeproblemer
ย ท Gtk +: en bindende for Gnome toolkit GUI bibliotek
ย ท SQL: et bibliotek for å få tilgang til SQL-databaser
ย ท XML: en enkel bibliotek for parsing XML-dokumenter
Hva er nytt i denne versjonen:
ย ท Alice nå innlemmer noen av de foreslåtte utvidelser for Etterfølger ML.
ย ท Den Bytecode jitter er nå standard utførende enhet.
ย ท Dokumentasjonen omfatter en begrensning programmering opplæringen, og begrensningen biblioteket bruker nå den nåværende stabile versjonen av Gecode.