Curry (programming language): Difference between revisions

Revision as of 10:57, 6 November 2019

Revision as of 18:37, 17 November 2019

Line 71:

not '(not False)' → 'not True' → False

More complex data structures can be obtained by [[recursive data typestype]]s. For instance, a list of elements, where the type of elements is arbitrary (denoted by

the type variable {{Mono|a}}), is either the empty list “{{Mono|[]}}” or the non-empty list “{{Mono|x:xs}}” consisting of a first element {{Mono|x}} and a list {{Mono|xs}}:

<source lang="haskell">