Alice is een functionele programmeertaal gebaseerd op Standard ML, uitgebreid met een rijke ondersteuning voor gelijktijdige, gedistribueerde en constraint programmeren.
Hier zijn een aantal belangrijke eigenschappen van "Alice ML":
ย ท Futures: luiheid en lichtgewicht concurrency met data-stroom synchronisatie
ย ท hogere orde modules: hogere-orde functoren en abstracte handtekeningen
ย ท Pakketten: het integreren van statische met dynamische typen en eerste klas modules
ย ท Pickling: hogere-orde type veilige, generieke en platform-onafhankelijk persistentie
ย ท Componenten: platform-onafhankelijkheid en het type-safe dynamische belasting van modules
ย ท Distributie: het type-safe cross-platform afstandsbediening functies en netwerk mobiliteit
ย ท Beperkingen: het oplossen van combinatorische problemen met dwang vermeerdering en programmeerbare zoekopdracht
De Alice System is een rijke open-source programmering systeem met de volgende instrumenten:
ย ท Virtual machine: een draagbare VM met ondersteuning voor just-in-time compilatie
ย ท Interactief systeem: een tolk-achtige interactieve toplevel
ย ท Batch compiler: aparte compilatie
ย ท Statische linker: het type-safe bundeling van componenten
ย ท Inspector: een tool voor interactief inspecteren datastructuren
ย ท Explorer: een instrument voor interactief onderzoek zoekproblemen
ย ท Gtk +: een bindend voor de Gnome toolkit GUI bibliotheek
ย ท SQL: een bibliotheek voor toegang tot SQL-databases
ย ท XML: een eenvoudige bibliotheek voor het ontleden van XML-documenten
Wat is er nieuw in deze release:
ย ท Alice bevat nu een aantal van de voorgestelde extensies voor Opvolger ML.
ย ท De bytecode jitter is nu de standaard uitvoering toestel.
ย ท De documentatie omvat een constraint programming tutorial en de beperking bibliotheek maakt nu gebruik van de huidige stabiele versie van Gecode.
Reacties niet gevonden