式let ⟨declList⟩ in ⟨exp1⟩;⋯;⟨expn⟩ endによって, 式⟨exp1⟩;⋯;⟨expn⟩だけで有効な種々の宣言を行 うことができる. この式は以下のように評価される.
⟨declList⟩が順に評価され,その結果の変数束縛の環境が現在の環 境に追加される.
追加された環境の下で式⟨exp1⟩;⋯;⟨expn⟩ が,この順に評価される.
最後に評価された式の型と値が,この式全体の型と値となる.