Alice es un lenguaje de programación funcional basado en Standard ML, ampliado con un rico soporte para la programación concurrente, distribuida y restricción.
Aquí están algunas características clave de "Alice ML":
ย ท Futuros: la pereza y de peso ligero de concurrencia con la sincronización de datos de flujo
ย ท módulos de orden superior: funtores de orden superior y firmas abstractos
ย ท Paquetes: integrar estático con tipado dinámico y módulos de primera clase
ย ท Decapado: de orden superior con seguridad de tipos, la persistencia y genérico independiente de la plataforma
ย ท Componentes: plataforma de la independencia y la carga dinámica de tipo seguro de los módulos
ย ท Distribución: funciones remotas de plataforma cruzada de tipo seguro y red de movilidad
ย ท Restricciones: resolver problemas usando combinatorical propagación de restricciones y de búsqueda programable
El Sistema de Alice es un sistema de programación de código abierto rica que ofrece las siguientes herramientas:
ย ท máquina virtual: una máquina virtual portátil con soporte para la compilación just-in-time
ย ท sistema interactivo: un nivel superior interactiva-intérprete como
ย ท compilador por lotes: compilación separada
ย ท enlazador estática: agrupación tipo de fallos de componentes
ย ท Inspector: una herramienta para las estructuras de datos interactiva inspección
ย ท Explorer: una herramienta para la investigación de problemas de forma interactiva de búsqueda
ย ท Gtk +: una unión para la biblioteca GUI toolkit Gnome
ย ท SQL: una biblioteca para el acceso a bases de datos SQL
ย ท XML: una biblioteca simple para analizar documentos XML
¿Qué hay de nuevo en esta versión:
ย ท Alice ahora incorpora algunas de las extensiones propuestas para Sucesor ML.
ย ท El jitter bytecode es ahora la unidad de ejecución por defecto.
ย ท La documentación incluye un tutorial de programación con restricciones, y la biblioteca restricción ahora utiliza la versión estable actual de Gecode.
Comentarios que no se encuentran