Tiene orígenes en el calculo lambda y los sistemas formales.
Es un paradigma de programación declarativa.
El objetivo es conseguir lenguajes expresivos y matemáticamente elegantes
Transparencia referencial.
Funciones de primera clase y de orden superior.
Nombrado así por el matemático y lógico Haskell Curry
Su proceso de creación duro cerca de 15 años por un grupo de académicos.
Tiene múltiples características, es puro, tiene transparencia referencial, es perezoso, fuertemente tipado y tiene inferencia de tipos.
http://rockalabs.com
@alsug4