Alice egy funkcionális programozási nyelv, amely a standard ML, kibővítve gazdag Támogatja a párhuzamos, elosztott, és korlátozás programozás.
Íme néhány kulcsfontosságú jellemzőit "Alice ML":
ย ท Futures: lustaság és könnyű konkurencia az adatáramlás szinkronizálás
ย ท Magasabb rendű modulok: magasabb rendű funktorok és elvont aláírások
ย ท Csomagok: integrálása statikus dinamikus gépelés és első osztályú modulok
ย ท pácolás: magasabb rendű típus-biztos, generikus és platform-független perzisztencia
ย ท Components: platform-függetlenség és típus-biztos dinamikus modulbetöltés
ย ท Distribution: type-safe cross-platform távoli funkciókat és hálózati mobilitás
ย ท Megszorítások: megoldásában kombinatorikai problémák a megszorítás terjedése és programozható keresés
Az Alice rendszer egy gazdag nyílt forráskódú programozási rendszer, mely az alábbi eszközöket:
ย ท Virtuális gép: egy hordozható VM támogatja a just-in-time compilation
ย ท interaktív rendszer: tolmács-szerű interaktív toplevel
ย ท Batch fordító: külön összeállítás
ย ท Statikus kapcsoló: type-safe árukapcsolás alkatrészek
ย ท ellenőr: egy eszköz interaktív ellenőrző adatstruktúrák
ย ท Explorer: egy eszköz interaktív nyomozó keresési problémák
ย ท GTK +: a kötés a Gnome Toolkit GUI könyvtár
ย ท SQL: a könyvtár eléréséhez SQL adatbázisok
ย ท XML: egy egyszerű könyvtár XML dokumentumok
Újdonságok ebben a kiadásban:
ย ท Alice most magába foglalja a javasolt kiterjesztés az utód ML.
ย ท A bytecode jitter most az alapértelmezett végrehajtó egység.
ย ท A dokumentáció tartalmazza a korlátozás programozás bemutató, és a kényszer könyvtár mostantól a jelenlegi stabil verziója Gecode.
Hozzászólás nem található