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.