Alice est un langage de programmation fonctionnelle basée sur Standard ML, étendu avec le soutien riche pour la programmation concurrente, distribué, et la contrainte.
Voici quelques caractéristiques principales de "Alice ML":
ย ท Futures: la paresse et léger concurrence avec la synchronisation des flux de données
ย ท modules d'ordre supérieur: ordre supérieur foncteurs et signatures abstraites
ย ท forfaits: l'intégration statique avec le typage dynamique et des modules de première classe
ย ท Décapage: ordre supérieur de type sécurisé, la persistance générique et indépendant de la plateforme
ย ท Composants: plate-forme d'indépendance et le chargement dynamique de type sécurisé des modules
ย ท Distribution: fonctions à distance multi-plateformes type sécurisé et le réseau de mobilité
ย ท Contraintes: la résolution de problèmes en utilisant combinatorical propagation de contraintes et de recherche programmable
Le système Alice est un système de programmation open-source riche avec les outils suivants:
ย ท la machine virtuelle: une machine virtuelle portable avec support pour la compilation juste-à-temps
ย ท système interactif: une boucle d'interaction interprète comme
ย ท compilateur lots: compilation séparée
ย ท linker statique: regroupement de type sécurisé des composants
ย ท inspecteur: un outil pour l'inspection des structures de données interactive
ย ท Explorer: un outil pour enquêter de manière interactive les problèmes de recherche
ย ท Gtk +: une liaison pour la bibliothèque du toolkit graphique Gnome
ย ท SQL: une bibliothèque pour accéder à des bases de données SQL
ย ท XML: une bibliothèque simple pour analyser des documents XML
Quoi de neuf dans cette version:
ย ท Alice intègre désormais certains des extensions proposées pour Successeur ML.
ย ท La gigue de bytecode est maintenant l'unité d'exécution par défaut.
ย ท La documentation inclut un tutoriel de programmation par contraintes, et la bibliothèque de contrainte utilise maintenant la version stable actuelle de Gecode.
Commentaires non trouvées