Alice dağıtılan, eş zamanlı ve kısıt programlama için zengin desteği ile genişletilmiş Standart ML dayalı bir fonksiyonel programlama dilidir.
Burada "Alice ML" bazı temel özellikleri şunlardır:
ย ท Futures: Bu veri akışı senkronizasyonu ile tembellik ve hafif eşzamanlılık
ย ท Yüksek mertebeden modülleri: üst düzey functors ve soyut imzalar
ย ท Paketler: Dinamik yazarak ve birinci sınıf modülleri ile entegre statik
ย ท Turşu: üst düzey tip-güvenli, jenerik ve platform bağımsız sebat
ย ท Bileşenleri: platform bağımsızlığı ve modüllerin tip-güvenli dinamik yükleme
ย ท Dağıtım: tip-güvenli çapraz platform uzaktan fonksiyonları ve ağ hareketliliği
ย ท Kısıtlamalar: kısıtlama yayılmasını ve programlanabilir arama kullanarak KOMBİNATORİK problemleri çözme
Alice Sistemi aşağıdaki araçları içeren zengin bir açık kaynak programlama sistemidir:
ย ท Sanal makine: just-in-time derleme desteği ile taşınabilir VM
ย ท İnteraktif sistem: bir tercüman gibi interaktif toplevel
ย ท Toplu derleyici: Ayrı derleme
ย ท Statik bağlayıcı: bileşenlerin tip-güvenli donatılacak
ย ท Müfettiş: etkileşimli teftiş veri yapıları için bir araç
ย ท Explorer: etkileşimli arama sorunlarını araştırmak için bir araç
ย ท GTK +: Gnome araç GUI kütüphanesi için bağlayıcı
ย ท SQL: SQL veritabanları için bir kütüphane
ย ท XML: XML belgeleri ayrıştırma için basit bir kütüphane
Bu Sürümdeki Yenilikler:
ย ท Alice hemen halefi ML için önerilen Bazı uzantı içerir.
ย ท baytkodu titreşim artık varsayılan yürütme birimidir.
ย ท dokümantasyon bir kısıt programlama öğretici içerir ve kısıt kütüphane artık Gecode geçerli kararlı sürümünü kullanır.
Yorum Bulunamadı