| Alice ml. Alice ML ist eine funktionale, gleichzeitige, verteilte Programmiersprache, die auf Standard-ML basiert. |
Jetzt downloaden |
Alice ml. Ranking & Zusammenfassung
- Name des Herausgebers:
- Guido Tack
- Website des Verlags:
- http://www.gecode.org/gecodej/
Alice ml. Stichworte
Alice ml. Beschreibung
Alice ml ist eine funktionale, gleichzeitige, verteilte Programmiersprache, die auf Standard-ML basiert. Alice ist eine funktionale Programmiersprache, die auf Standard-ML basiert, der mit einer sutigen Unterstützung für gleichzeitige, verteilte, verteilte und einschränkende Programmierung erweitert wird. Hier sind einige wichtige Merkmale von "Alice ML": · Futures: Faulheit und leichte Parallelität mit Data-Flow-Synchronisation · Module höherer Ordnung: Höhere Funktoren und abstrakte Signaturen · Pakete: Integrieren statischer mit dynamischem Tipp- und First-Class-Modulen · Beizen: Typ-Safe, generische und plattformunabhängige Persistenz · Komponenten: Plattformunabhängigkeit und Typ-Safe Dynamisches Laden von Modulen · Distribution: Typ-Safe Cross-Platform-Remote-Funktionen und Netzwerkmobilität · Einschränkungen: Lösung kombinatorischer Probleme mit der Einschränkung Ausbreitung und programmierbares Suchen Das Alice-System ist ein reichhaltiges Open-Source-Programmiersystem mit den folgenden Werkzeugen: · Virtuelle Maschine: a Tragbarer VM mit Unterstützung für nur in Zeitzinskompilierung · Interaktives System: ein dolmetscherartiger interaktiver TOPLEVEL · Batch-Compiler: separat comp · Statischer Linker: Typ-Safe-Bündelung von Komponenten · Inspektor: ein Werkzeug zum interaktiven Untersuchen von Datenstrukturen · Explorer: ein Werkzeug zum interaktiven Untersuchen von Suchproblemen · GTK +: Eine Bindung für die GNOME-Toolkit-GUI-Bibliothek · SQL: Eine Bibliothek für den Zugriff auf SQL Datenbanken · XML: Eine einfache Bibliothek für das Parsing XML-DokumenteWas neu in dieser Version: · Alice enthält nun einige der vorgeschlagenen Erweiterungen für Nachfolger ML. · Der Bytecode-Jitter ist nun die Standardausführungseinheit. · Die Dokumentation enthält ein Einschränkungs-Programmier-Tutorial und Die Constraint-Bibliothek verwendet jetzt die aktuelle stabile Version von GECODE.
Alice ml. Zugehörige Software