Get the latest tech news
Curry: A functional logic programming language
A Truly Integrated Functional Logic Programming Language
Curry is called a declarative language, because computed results are independent of the time and order of evaluation, which simplifies reasoning on programs. Side effects can be modeled as “IO” operations, i.e., a declarative description of what to do. Operations are constructed by expressions only, there are no statements or instructions, and every binding to a variable is immutable.
Or read this on Hacker News