Curry est un langage de programmation basé sur le paradigme de la programmation fonctionnelle. Il a été créé par David Curry et son équipe à l'Université de Manchester au début des années 1980. Curry est un langage d'ordre supérieur, typage statique, qui prend en charge l'évaluation paresseuse et le filtrage. Il possède également une base solide en logique, ce qui en fait un choix approprié pour le développement de prouveurs de théorèmes et d'autres applications similaires.