Curry (lenguaje de programación)
lenguaje de programación
From Wikipedia, the free encyclopedia
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.
Apareció en
1997
Diseñado por
Michael Hanus, Sergio Antoy, et al.
Sistema de tipos
Fuerte, estático, tipificación inferida
| Curry | ||
|---|---|---|
|
| ||
|
Universidad de Kiel https://www.curry-lang.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.
