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.
Kommentaar nie gevind