Curry

Curry ist eine Programmiersprache, die auf dem Paradigma der funktionalen Programmierung basiert. Sie wurde von David Curry und seinem Team an der Universität von Manchester in den frühen 1980er Jahren entwickelt. Curry ist eine statisch typisierte Sprache höherer Ordnung, die "lazy evaluation" und "pattern matching" unterstützt. Sie hat auch eine starke Basis in der Logik, was sie zu einer geeigneten Wahl für die Entwicklung von Theorembeweisern und anderen ähnlichen Anwendungen macht.