Alice er en funktionel programmeringssprog baseret på Standard ML, udvidet med rig understøttelse af samtidige, distribueret og constraint programmering.
Her er nogle vigtige funktioner i "Alice ML":
ย ท Futures: dovenskab og letvægts concurrency med data-flow synkronisering
ย ท Højere-ordens moduler: højere orden funktorer og abstrakte signaturer
ย ท pakker: integrere statisk med dynamiske skrive og førsteklasses moduler
ย ท Bejdsning: højere ordretype-safe, generiske og platform-uafhængige vedholdenhed
ย ท Komponenter: platform-uafhængighed og type-safe dynamisk belastning af moduler
ย ท Distribution: Maks-safe cross-platform fjerntliggende funktioner og netværk mobilitet
ย ท Begrænsninger: løse combinatorical problemer ved hjælp af tvang formering og programmerbar søgning
Alice System er en rig open source programmering system med følgende værktøjer:
ย ท virtuel maskine: en bærbar VM med understøttelse af just-in-time kompilering
ย ท Interaktiv systemet: en tolk-lignende interaktiv topniveau
ย ท Batch compiler: separat kompilering
ย ท Statisk linker: Type-safe bundtning af komponenter
ย ท Inspector: et værktøj til interaktivt inspicere datastrukturer
ย ท Explorer: et værktøj til interaktivt undersøger søgning problemer
ย ท Gtk +: en bindende for Gnome toolkit GUI bibliotek
ย ท SQL: et bibliotek for at få adgang til SQL databaser
ย ท XML: en simpel bibliotek til parsing XML-dokumenter
Hvad er nyt i denne version:
ย ท Alice nu inkorporerer nogle af de foreslåede udvidelser til efterfølger ML.
ย ท Den bytecode jitter nu standard udførelse enhed.
ย ท Dokumentationen indeholder en constraint programmering tutorial, og den begrænsning biblioteket bruger nu den aktuelle stabile version af Gecode.
Kommentarer ikke fundet