Alice (lenguaje de programación)

Alice es un lenguaje de programación funcional diseñado en la Universidad de Saarland. Es un dialecto de los estándares de ML, con soporte adicional para Evaluación perezosa, concurrencia y programación restringida. La implementación de Alice utiliza la máquina virtual SEAM (simple Extensible Abstract Machine). Alice se distribuye como software libre y proporciona compilación just - in-time tanto para bytecode como para código nativo para la arquitectura x86.

Alice extiende los estándares de ML con diferentes primitivas para la evaluación perezosa y la concurrencia. Por ejemplo, los hilos se pueden crear usando la palabra clave spawn. Considere el algoritmo simple para calcular la sucesión de Fibonacci: para valores grandes de N, fib n requerirá un largo tiempo de cálculo. Este cálculo se puede hacer en un hilo separado de: la variable x ahora está vinculada a un "valor futuro" . Cuando una operación requiere el valor real de x, se congela hasta que el subproceso correspondiente haya completado el cálculo. Para aprovechar el cálculo paralelo, puede redefinir la función fib de la siguiente manera: .

Lenguajes de programación lógica

ML

Datalog

Datalog es un lenguaje de consulta de bases de datos que ha recibido un considerable interés de la comunidad científica desde mediados de los años ochenta. Data...

Idiomas de consulta

Lenguajes de programación declarativos

Esta página se basa en el artículo de Wikipedia: Fuente, Autores, Licencia Creative Commons Reconocimiento-CompartirIgual.
This page is based on the Wikipedia article: Source, Authors, Creative Commons Attribution-ShareAlike License.
contactos
Política de privacidad , Descargos de responsabilidad