Commit c6696087 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-02-10 10:33:29 by beppe] Empty log message

Original author: beppe
Date: 2004-02-10 10:33:29+00:00
parent 0473b2ed
...@@ -118,7 +118,7 @@ between the interface and the body without changing the semantics. ...@@ -118,7 +118,7 @@ between the interface and the body without changing the semantics.
<p> <p>
When there is a single constraint in the interface, there is When there is a single constraint in the interface, there is
an alternative notation, which is lighter for several argument an alternative notation, which is lighter for several arguments
(that is, when the argument is a tuple): (that is, when the argument is a tuple):
</p> </p>
...@@ -141,7 +141,7 @@ let %%f%% = fun %%g%% (...) ... in ... ...@@ -141,7 +141,7 @@ let %%f%% = fun %%g%% (...) ... in ...
<p> <p>
Here, <code>%%f%%</code> is the "external" name for the function, Here, <code>%%f%%</code> is the "external" name for the function,
and <code>%%g%%</code> is the "internal" name (used when the function and <code>%%g%%</code> is the "internal" name (used when the function
need to call itself recursively, for instance). When the two names coincide needs to call itself recursively, for instance). When the two names coincide
(or when you don't need an internal name), there are lighter (or when you don't need an internal name), there are lighter
notations: notations:
</p> </p>
...@@ -169,7 +169,7 @@ E.g.: ...@@ -169,7 +169,7 @@ E.g.:
applications cannot fail.</p> applications cannot fail.</p>
<p> <p>
Note that even if there is no functional "patterns" in CDuce, Note that even if there is no functional "pattern" in CDuce,
it is possible to use in a pattern a type constraint it is possible to use in a pattern a type constraint
with a functional type, as in: with a functional type, as in:
</p> </p>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment