Alice ist eine funktionale Programmiersprache basierend auf Standard ML, mit reichen Unterstützung für gleichzeitige, verteilt und Constraint-Programmierung erweitert.
Hier sind einige der wichtigsten Features von "Alice ML":
ย ท Futures: Faulheit und leicht Parallelität mit Datenfluss-Synchronisation
ย ท höherer Ordnung Module: geordneten Funktoren und abstrakten Signaturen
ย ท Packages: Integration von statischen mit dynamische Eingabe und erstklassige Module
ย ท Beizen: höherer Ordnung typsichere, generischen und plattformunabhängigen Beharrlichkeit
ย ท Components: Plattform-Unabhängigkeit und typsichere dynamische Laden von Modulen
ย ท Distribution: typsichere Cross-Plattform-Remote-Funktionen und Netzwerk-Mobilität
ย ท Constraints: Lösung kombinatorische Probleme mit Constraint-Propagation und programmierbare Suche
Die Alice-System ist eine reiche Open-Source-Programmiersystem mit den folgenden Tools:
ย ท Virtuelle Maschine: ein tragbares VM mit Unterstützung für Just-in-Time-Kompilierung
ย ท Interactive-System: ein Interpreter-like interaktive Toplevel
ย ท Batch-Compiler: getrennte Sammlung
ย ท Static Linker: typsichere Bündelung von Komponenten
ย ท Inspector: ein Werkzeug zur interaktiven Inspektion von Datenstrukturen
ย ท Explorer: ein Werkzeug zur interaktiven Untersuchung Suchprobleme
ย ท Gtk +: eine Bindung für den Gnome-Toolkit GUI-Bibliothek
ย ท SQL: eine Bibliothek für den Zugriff auf SQL-Datenbanken
ย ท XML: eine einfache Bibliothek für das Parsen von XML-Dokumenten
Was ist neu in dieser Version:
ย ท jetzt Alice enthält einige der vorgeschlagenen Erweiterungen für Nachfolger ML.
ย ท Die Bytecode-Jitter ist nun der Standard-Ausführungseinheit.
ย ท Die Dokumentation enthält einen Constraint-Programmierung Tutorial und die Einschränkung Bibliothek verwendet nun die aktuelle stabile Version von Gecode.
Kommentare nicht gefunden