Curry

Website: Curry

Designed by: Michael Hanus, Sergio Antoy, et al.

Curry is an experimental functional logic programming language, based on the Haskell language.

It merges elements of functional and logic programming, including constraint programming integration.

It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.