Curry es un lenguaje de programación basado en el paradigma de la programación funcional. Fue creado por David Curry y su equipo en la Universidad de Manchester a principios de la década de 1980. Curry es un lenguaje de orden superior con tipado estático que admite la evaluación perezosa y la concordancia de patrones. También tiene una sólida base lógica, lo que lo convierte en una opción adecuada para desarrollar demostradores de teoremas y otras aplicaciones similares.