プログラミングの基礎 ＞ 第3章　変数の定義

3.3　変数の実行方法 †

OCamlインタープリターにおけるプログラムの実行は、変数を値で置き換えながら進んでいきます。
これは、私達が数学で変数を使って計算するのとまったく同じように計算が進みます。

練習問題 †

(p.17) 問題3.2

# let e = 2.7182 ;; (* float *) ;;
val e : float = 2.7182
# 1.0 +. e *. 2.0 ;;
- : float = 6.4364

1.0 +. e *. 2.0
という式はどのように実行（簡約）されるのでしょうか？

1. 1.0 +. e *. 2.0
2. 1.0 +. 2.7182 *. 2.0
3. 1.0 +. 5.4364
4. 6.4364

簡約 †

ラムダ計算の式を実行することを「簡約」（reduction）と言います。

（参考）

• ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
  https://tarao.hatenablog.com/entry/20100208/1265605429