変数への代入と定義(復習)

代入と定義
共に変数に値を「割り当て」る
代入 : 「変数 = 式」
「式」は「即時評価」される。その評価結果が「変数の値」となる
定義 : 「変数 := 式」
「式」は「遅延評価」される。その「式」そのものが「変数の値」となる
変数の値は何度でも変更できる
環境
変数名とその値の対応表をもっている
代入も定義も、その対応表を書換えている
書き換える値が違うだけ
「式」の評価(変数の場合)
式の中に変数名が含まれていた場合に、それを変数の値に書き換える