Alice är ett funktionellt programmeringsspråk baserat på Standard ML, utökas med rik stöd för samtidig, distribueras och villkorsprogrammering.
Här är några viktiga inslag i "Alice ML":
ย ท Futures: slöhet och lätt samtidighet med datasynkronisering-flöde
ย ท Högre ordningens moduler: högre ordningens funktorer och abstrakta signaturer
ย ท paket: integrera statisk med dynamisk typning och första klass moduler
ย ท Betning: högre ordningens typ säker, generisk och plattformsoberoende uthållighet
ย ท Komponenter: plattformsoberoende och typ-säker dynamisk belastning av moduler
ย ท Distribution: typ säker plattformsoberoende fjärr funktioner och nätverks rörlighet
ย ท Begränsningar: lösa combinatorical problem med hjälp av villkorspropagering och programmerbar sökning
Alice System är en rik öppen källkod programmeringssystem med följande verktyg:
ย ท virtuell dator: en bärbar VM med stöd för just-in-time kompilering
ย ท interaktivt system: en tolk liknande interaktiva toplevel
ย ท Batch kompilator: separat sammanställning
ย ท Statisk länk: typ säker paketering av komponenter
ย ท inspektör: ett verktyg för att interaktivt inspekterande datastrukturer
ย ท Explorer: ett verktyg för interaktivt undersöka sökproblem
ย ท Gtk +: en bindande för Gnome toolkit GUI bibliotek
ย ท SQL: ett bibliotek för att komma åt SQL-databaser
ย ท XML: en enkel bibliotek för att analysera XML-dokument
Vad är nytt i den här versionen:
ย ท Alice innehåller nu vissa av de föreslagna tillägg för Efterträdare ML.
ย ท Den bytekod jitter är nu genomförandet standardenhet.
ย ท Dokumentationen innehåller en villkorsprogrammering handledning, och tvång biblioteket använder nu den nuvarande stabila versionen av Gecode.
Kommentarer hittades inte