プログラミング言語SML#解説 4.0.0版
19

19.9 局所宣言式 let declList in exp1;;expn end

let declList in exp1;;expn endによって, 式exp1;;expnだけで有効な種々の宣言を行 うことができる. この式は以下のように評価される.

  1. 1.

    declListが順に評価され,その結果の変数束縛の環境が現在の環 境に追加される.

  2. 2.

    追加された環境の下で式exp1;;expn が,この順に評価される.

  3. 3.

    最後に評価された式の型と値が,この式全体の型と値となる.