17.4.20 判断と実行

if 式1 then 式2 else 式3 という式がある場合の計算順序は, 次のようになります.

• まず式1を計算する.
• 式1の値が true になったら, 式2を計算し, 全体をその値で置きかえる
• 式1の値が false になったら, 式3を計算し, 全体をその値で置きかえる

例えば

• 3+(if 4<2 then 2*3 else 5-1) という式であれば,
• if 4<2 then 2*3 else 5-1 という式を計算し,
  • (式1) 4<2 という式を計算し, falseという結果になるので
  • (式3) 5-1 という式を計算し, 4という結果になるので
• 3+4 という式に置きかえ, 3+4を計算して
• 7

という値になって終わります.

練習として, number_of_roots(1.0,5.0,6.0) という式がどのように計算されてゆくか, 紙に書いてみましょう.