Curry (programming language): Difference between revisions

Revision as of 02:40, 22 August 2019

Revision as of 18:25, 14 September 2019

Line 58:

In this case, both derivations lead to the same result, a property known as [[Confluence (term rewriting)|confluence]]. This follows from a fundamental property of pure functional languages, termed referential transparency: the value of a computed result does not depend on the order or time of evaluation, due to the absence of side effects. This simplifies the reasoning about and maintenance of pure functional programs.

As many functional languages like [[haskell (programming language)|Haskell]] do, Curry supports the definition of [[algebraic data typestype]]s by enumerating their constructors. For instance, the type of Boolean values consists of the constructors {{Mono|True}} and {{Mono|False}} that are declared as follows:

<source lang="haskell">

data Bool = True | False