ให้

กําหนดนิพจน์

นิพจน์ ให้ สามารถใช้เพื่อบันทึกค่าจากการคํานวณระดับกลางในตัวแปร

let-expression:
      letนิพจน์รายการinตัวแปร
รายการตัวแปร:
      ตัวแปร
      รายการตัวแปร,
ตัว แปร:
      นิพจน์ชื่อ=ตัวแปร
variable-name:
      รหัส

ตัวอย่างต่อไปนี้แสดงผลลัพธ์ระดับกลางที่ถูกคํานวณและจัดเก็บในตัวแปร x, yและ z ซึ่งจากนั้น จะถูกใช้ในการคํานวณ x + y + zที่ตามมา :

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

ผลลัพธ์ของนิพจน์นี้คือ:

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

รายการต่อไปนี้จะถูกระงับไว้ ขณะประเมินนิพจน์ภายใน let-expression:

• นิพจน์ในรายการตัวแปร จะกําหนดขอบเขตใหม่ที่มีตัวระบุจากการผลิต variable-list และต้องปรากฏอยู่ขณะประเมินนิพจน์ภายในการผลิต variable-list นิพจน์ภายใน variable-list อาจอ้างอิงถึงนิพจน์อื่น

• ต้องประเมินนิพจน์ภายใน variable-list ก่อนที่นิพจน์ใน let-expression จะถูกประเมิน

• เว้นแต่จะมีการเข้าถึงนิพจน์ใน variable-list เพราะไม่จําเป็นต้องประเมินนิพจน์ดังกล่าว

• ข้อผิดพลาดที่เกิดขึ้นในระหว่างการประเมินนิพจน์ใน let-expression จะถูกเผยแพร่

นิพจน์ ให้ สามารถมองเห็นเป็นน้ําตาลไวยากรณ์เหนือนิพจน์เรกคอร์ดโดยนัย นิพจน์ต่อไปนี้เทียบเท่ากับตัวอย่างข้างต้น:

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