Laat

Expressie toestaan

Een let-expressie kan worden gebruikt om een waarde van een tussenliggende berekening in een variabele vast te leggen.

let-expression:
      letexpressie voor variabele-lijstin
variable-list:
      Variabele
      variabele-lijst,
Variabele:
      expressie met variabele naam=
variabelenaam:
      Id

In het volgende voorbeeld ziet u tussenliggende resultaten die worden berekend en opgeslagen in variabelenxy, en z die vervolgens worden gebruikt in een volgende berekeningx + y + z:

let     x = 1 + 1,
        y = 2 + 2,
        z = y + 1 
in
        x + y + z

Het resultaat van deze expressie is:

11  // (1 + 1) + (2 + 2) + (2 + 2 + 1)

Het volgende geldt voor het evalueren van expressies in de let-expressie:

• De expressies in de lijst met variabelen definiëren een nieuw bereik met de id's uit de productie van variabelenlijsten en moeten aanwezig zijn bij het evalueren van de expressies in de productie van variabelenlijsten. Expressies in de lijst met variabelen kunnen naar elkaar verwijzen.

• De expressies in de lijst met variabelen moeten worden geëvalueerd voordat de expressie in de let-expression wordt geëvalueerd.

• Tenzij de expressies in de lijst met variabelen worden geopend, mogen ze niet worden geëvalueerd.

• Fouten die worden gegenereerd tijdens de evaluatie van de expressies in de let-expressie , worden doorgegeven.

Een let-expressie kan worden gezien als syntactische suiker over een impliciete recordexpressie. De volgende expressie is gelijk aan het bovenstaande voorbeeld:

[     x = 1 + 1,
      y = 2 + 2,
      z = y + 1,
      result = x + y + z 
][result]