Alice je funkční programovací jazyk založený na standardním ML, rozšířena s bohatou podporou pro souběžné, distribuovaný, a programování s omezujícími podmínkami.
Zde jsou některé klíčové rysy "Alice ML":
ย ท Futures: lenost a lehká souběžnosti se synchronizací dat toku
ย ท vyššího řádu moduly: vyššího řádu funktory a abstraktní podpisů
ย ท Balíčky: integraci statické s dynamickým psaní a první moduly tříd
ย ท Moření: vyššího řádu typu bezpečné, generické a nezávislé na platformě persistence
ย ท komponenty: vrcholová-nezávislost a typ bezpečné dynamické zatížení modulů
ย ท Distribuce: typ-bezpečné cross-platformní vzdálené funkce a sítí mobility
ย ท Omezení: řešení combinatorical problémů pomocí šíření vazby a programovatelné hledání
Alice Systém je bohatý open-source programovací systém představovat následující nástroje:
ย ท Virtuální stroj: přenosný VM s podporou pro just-in-time kompilace
ย ท Interaktivní systém: tlumočníka, jako interaktivní toplevel
ย ท Batch kompilátor: samostatná kompilace
ย ท Static linker: typ-bezpečné svazování komponentů
ย ท Inspector: nástroj pro interaktivní inspekčních datové struktury
ย ท Explorer: nástroj pro interaktivní zkoumání problémů vyhledávání
ย ท Gtk +: závazné pro Gnome toolkit GUI knihovny
ย ท SQL: knihovna pro přístup k SQL databázím
ย ท XML: jednoduchá knihovna pro parsování XML dokumentů
Co je nového v této verzi:
ย ท Alice nyní zahrnuje některé z navrhovaných rozšíření pro nástupnické ML.
ย ท bytecode jitter je nyní výchozí provedení jednotky.
ย ท Dokumentace obsahuje omezení programovací tutoriál, a knihovna omezení nyní používá aktuální stabilní verzi Gecode.
Komentáře nebyl nalezen