"Alice funkcinė programavimo kalba, remiantis standartiniu ML, pratęsti su turtinga paramos vienu metu, platinti ir apribojimų programavimą.
Štai keletas pagrindinių ypatybių "Alice ML":
ย ท Ateities: tinginystė ir lengvas lygiagrečiai su duomenų srauto sinchronizavimas
ย ท Aukštasis užsakymą moduliai: aukštesnės eilės functors ir abstraktus parašus
ย ท Paketai: integruoti statinis dinaminis spausdinimo ir pirmos klasės moduliai
ย ท ėsdinimo: aukštesnės kad tipo saugus, bendrinis ir nepriklausomas nuo platformos atkaklumo
ย ท komponentai: platforma-nepriklausomumas ir tipo saugus dinamiškas pakrovimo moduliai
ย ท Pasiskirstymas tipas saugus cross-platform nuotolinio funkcijos ir tinklo mobilumas
ย ท apribojimai: sprendžiant combinatorical problemas naudojant apribojimo sklidimą ir programuojamas paiešką
Alisa sistema yra gausu atviro kodo programavimo sistema featuring šiuos įrankius:
ย ท Virtuali mašina: nešiojamų V. su parama just-in-time rengimo
ย ท Interaktyvi sistema: vertėjas-kaip interaktyvus Toplevel
ย ท Serija sudarytojas: atskiras rinkinys
ย ท Statinis tiltelis: tipo saugus susiejimas komponentų
ย ท inspektorius: dėl interaktyviai tikrinimą duomenų struktūrų įrankis
ย ท Explorer ": už interaktyviai tiriant paieškos problemomis priemonė
ย ท GTK +: privalomas už Gnome įrankių rinkinio GUI biblioteka
ย ท SQL: susipažinimo SQL duomenų bazių biblioteka
ย ท XML: paprasta biblioteka analizuojant XML dokumentus
Kas naujo šioje versijoje:
ย ท Alisa dabar apima kai kurie iš siūlomų plėtinių įpėdinis ml.
ย ท baitinis drebėjimas dabar pagal nutylėjimą vykdymas vienetas.
ย ท dokumentacija apima apribojimas programavimo pamoka, ir apribojimas biblioteka dabar naudoja esamą stabilią versiją gecode.
Komentarai nerastas