Curry | |
---|---|
clase de idioma | lenguaje de programación funcional y lenguaje de programación lógica |
Liberar |
|
sido influenciado | Haskell y Prolog |
Sitio web | curry-language.org |
Curry es un lenguaje de programación integrable de propósito general que implementa dos paradigmas de programación declarativos : funcional y lógico . Nombrado en honor al científico estadounidense Haskell Curry .
Préstamos de la programación funcional: expresiones anidadas, funciones de orden superior , evaluación perezosa ; elementos de programación lógica: variables lógicas, estructuras de datos parciales, sistema de búsqueda incorporado. Entre las características está el uso de técnicas para sistemas paralelos, como evaluación paralela de expresiones con sincronización en variables booleanas. El lenguaje también proporciona mecanismos adicionales en comparación con los lenguajes de programación puros : en comparación con los lenguajes funcionales, búsqueda y cálculos sobre datos incompletos, en comparación con los lógicos, un mecanismo de cálculo más eficiente debido al determinismo y la llamada según sea necesario para las funciones .
Hay varias implementaciones del lenguaje: PAKCS (Universidad de Portland, Universidad de Aquisgrán , Universidad de Kiel ) compila programas Curry en código Prolog ; las implementaciones KiCS y KiCS2 de la Universidad de Kiel compilan programas en código Haskell ; la implementación del MCC de la Universidad de Münster prevé la compilación en código de máquina .
Lenguajes de programación | |
---|---|
|