Alice este un limbaj de programare funcțional bazat pe Standard ML, extins cu suport bogat pentru programarea concurentă, distribuite, și constrângere.
Iată câteva caracteristici cheie ale "Alice ML":
ย ท Futures: lenea și ușoare concurenta cu sincronizare-fluxului de date
ย ท module de ordin superior: functori de ordin superior și semnături abstracte
ย ท Pachete: integrarea static cu tastarea dinamic și modulele de prima clasa
ย ท decapare: de ordin superior de tip seif, persistența generic și independente de platformă
ย ท Componente: platforma-independenta și încărcarea dinamică în condiții de siguranță de tip de module
ย ท Distribuție: cross-platform funcții de la distanță de tip în condiții de siguranță și de rețea de mobilitate
ย ท Constrângeri: rezolvarea problemelor combinatorical folosind propagare constrângere și de căutare programabil
Sistemul Alice este un sistem de bogat de programare open-source oferind următoarele instrumente:
ย ท Virtual Machine: un VM portabil cu suport pentru compilarea just-in-time
ย ท sistem interactiv: o toplevel interactiv, interpret ca
ย ท Lot compilator: compilare separată
ย ท linker static: gruparea în condiții de siguranță de tip a componentelor
ย ท Inspector: un instrument pentru structuri de date interactiv de inspecție
ย ท Explorer: un instrument pentru investigarea interactiv probleme de căutare
ย ท Gtk +: un caracter obligatoriu pentru toolkit biblioteca GUI Gnome
ย ท SQL: o bibliotecă pentru accesarea bazelor de date SQL
ย ท XML: o bibliotecă simplu pentru parsarea documentelor XML
Ce este nou în această versiune:
ย ท Alice include acum unele dintre extensiile propuse pentru Succesorul ML.
ย ท bytecode bruiaj este acum unitatea de executie implicit.
ย ท Documentația include un tutorial de programare constrângere, iar biblioteca constrângere folosește acum versiunea curentă stabilă a Gecode.
Comentariile nu a fost găsit