Alice on funktionaalinen ohjelmointikieli perustuu Standard ML laajennettu rikas tukee samanaikaista, hajautettujen ja rajoitus ohjelmoinnin.
Tässä muutamia keskeisiä piirteitä "Alice ML":
ย ท Futures: laiskuus ja kevyt rinnakkaisuus tietojen virtauksen synkronointia
ย ท Korkeamman asteen moduulit: korkeamman asteen functors ja abstrakteja allekirjoitukset
ย ท Paketit: integrointi staattinen dynaaminen tyypitys ja ensimmäisen luokan moduulien
ย ท Peittaus: korkeamman asteen tyyppinen-turvallisia, geneerisiä ja alustasta riippumaton pysyvyys
ย ท Komponentit: platform-riippumattomuus ja tyypin turvallista dynaamista moduulien latausta
ย ท Jakelu: type-turvallinen cross-platform kaukosäätimen toiminnot ja verkko liikkuvuus
ย ท Rajoitukset: ratkaista combinatorical ongelmia käyttää rajoite leviämistä ja ohjelmoitavat haku
Alice System on runsaasti avoimen lähdekoodin ohjelma, jonka ominaisuuksiin kuuluu seuraavat työkalut:
ย ท Virtuaalikone: kannettava VM tukee just-in-time kokoelma
ย ท Interaktiivinen systeemi: tulkki kaltainen vuorovaikutteinen toplevel
ย ท Erä kääntäjä: erillinen kokoelma
ย ท Staattinen linkkeri: type-turvallinen niputtaminen komponenttien
ย ท Tarkastaja: työkalu vuorovaikutteisesti tarkastaa tietorakenteita
ย ท Explorer: työkalu vuorovaikutteisesti tutkimiseen hakuun ongelmia
ย ท Gtk +: sitovia Gnome työkalupakki GUI kirjasto
ย ท SQL: kirjasto saatavuuden SQL-tietokantojen
ย ท XML: yksinkertainen kirjasto jäsentämiseen XML-dokumenttien
Mitä uutta tässä julkaisussa:
ย ท Alice nyt sisällytetty joitakin ehdotetuista laajennukset seuraajan ML.
ย ท bytecode värinää on nyt oletuksena suoritusyksikkö.
ย ท dokumentaatio sisältää Rajoitus ohjelmointi opetusohjelma, ja rajoitus kirjaston nyt käyttää nykyistä vakaata versiota Gecode.
Kommentteja ei löytynyt