Låta
Ett let-uttryck kan användas för att avbilda ett värde från en mellanliggande beräkning i en variabel.
let-expression:
let
variable-list in
uttryck
variable-list:
variabel
variable ,
variable-list
variabel:
variabelnamnuttryck =
variable-name:
identifierare
I följande exempel visas mellanliggande resultat som beräknas och lagras i variablerna x
, y
och z
som sedan används i en efterföljande beräkning x + y + z
:
let x = 1 + 1,
y = 2 + 2,
z = y + 1
in
x + y + z
Resultatet av det här uttrycket är:
11 // (1 + 1) + (2 + 2) + (2 + 2 + 1)
Följande gäller vid utvärdering av uttryck i let-expression:
Uttrycken i variabellistan definierar ett nytt omfång som innehåller identifierarna från variabellistans produktion och måste finnas när du utvärderar uttrycken i produktionerna med variabellistan . Uttryck i variabellistan kan referera till varandra.
Uttrycken i variabellistan måste utvärderas innan uttrycket i let-expression utvärderas.
Såvida inte uttrycken i variabellistan används får de inte utvärderas.
Fel som utlöses under utvärderingen av uttrycken i let-expression sprids.
Ett let-uttryck kan ses som syntaktisk socker över ett implicit postuttryck. Följande uttryck motsvarar exemplet ovan:
[ x = 1 + 1,
y = 2 + 2,
z = y + 1,
result = x + y + z
][result]