Curry (lenguaje de programación)
lenguaje de programación
(Redirigido desde «Curry (programacion)»)
Curry[1] es un lenguaje experimental de programación en lógica funcional, basado en el lenguaje Haskell, que combina elementos de programación funcional y programación lógica.
Curry | ||
---|---|---|
Universidad de Kiel https://www.curry-language.org/ | ||
Información general | ||
Paradigma | Funcional, no estricto, modular, lógico | |
Apareció en | 1997 | |
Diseñado por | Michael Hanus, Sergio Antoy, et al. | |
Sistema de tipos | Fuerte, estático, tipificación inferida | |
Influido por | Haskell | |
Licencia | licencia BSD de 3 cláusulas | |
El programa es expresado a través de un conjunto de funciones expresados bajo ecuaciones o reglas.
Referencias
editar- ↑ Michael Hanus (ed.). «Curry: A Truly Integrated Functional Logic Language».
Enlaces externos
editar- Curry - página web oficial.
- MCC Archivado el 16 de enero de 2007 en Wayback Machine. - Münster Curry Compiler
- PAKCS Implementación de Curry con interface WWW
- Lista de correo sobre el lenguaje Curry Archivado el 20 de noviembre de 2008 en Wayback Machine.
- https://web.archive.org/web/20040402033834/http://www.informatik.uni-kiel.de/~mh/curry/