Curry (programming language): Difference between revisions

Revision as of 05:28, 1 June 2020

Revision as of 10:35, 20 July 2020

Line 43:

===Basic concepts===

A functional program is a set of functions defined by equations or rules. A functional computation consists of replacing subexpressions by equal (with regardsregard to the function definitions) subexpressions until no more replacements (or reductions) are possible and a value or normal form is obtained. For instance, consider the function double defined by

double x = x+x