La
Et la-uttrykk kan brukes til å registrere en verdi fra en mellomliggende beregning i en variabel.
let-expression:
let
variabel-liste in
uttrykk
variabel-liste:
Variabel
variabel ,
variabel-liste
variabel:
variabelnavnuttrykk =
variabelnavn:
Identifikator
Følgende eksempel viser mellomliggende resultater som beregnes og lagres i variabler x
, y
og z
som deretter brukes i en etterfølgende beregning x + y + z
:
let x = 1 + 1,
y = 2 + 2,
z = y + 1
in
x + y + z
Resultatet av dette uttrykket er:
11 // (1 + 1) + (2 + 2) + (2 + 2 + 1)
Følgende gjelder når du evaluerer uttrykk i la-uttrykket:
Uttrykkene i variabellisten definerer et nytt omfang som inneholder identifikatorene fra produksjonen med variabel liste , og må være til stede når du evaluerer uttrykkene i produksjoner med variabel liste . Uttrykk i variabellisten kan referere til hverandre.
Uttrykkene i variabellisten må evalueres før uttrykket i la-uttrykket evalueres.
Med mindre uttrykkene i variabellisten åpnes, må de ikke evalueres.
Feil som oppstår under evalueringen av uttrykkene i la-uttrykket overføres.
Et la-uttrykk kan ses som syntaktisk sukker over et implisitt postuttrykk. Følgende uttrykk tilsvarer eksemplet ovenfor:
[ x = 1 + 1,
y = 2 + 2,
z = y + 1,
result = x + y + z
][result]