| | | A.2.6 Let Expressions |
LET I1:T1 = E1,...
IN E
LET I1 = E1,...
IN E
This expression consists of a sequence of value definitions which set up an environment in which an expression E is evaluated. The type and the value of the let expression is that of E.
Each definition consists of an identifier Ii which is bound to the value of an expression Ei of type Ti (the type is optional in the definition); the identifier Ii is visible in the expressions Ei+1, Ei+2, ... used in the subsequent definitions (but not in the expression Ei defining Ii itself).
Matching the types of E1 to T1, ...may give rise to a type checking condition.
| | | A.2.6 Let Expressions |