O curry é uma linguagem de programação que se baseia no paradigma da programação funcional. Foi criada por David Curry e a sua equipa na Universidade de Manchester no início da década de 1980. O curry é uma linguagem estaticamente dactilografada, de ordem superior, que suporta a avaliação preguiçosa e a correspondência de padrões. Tem também uma forte base lógica, o que o torna uma escolha adequada para desenvolver provadores de teoremas e outras aplicações semelhantes.