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

19.16 条件式 if exp1 then exp2 else exp3

条件分岐を表す式である. 式exp1bool型ち,式exp2と式 exp3は同じ型を持つことが要求される. この制約の下で,この式はexp2と同じ型を持つ.

この式の評価は以下のように行われる. exp1を評価し,その値がtrueであれば式 exp2を評価しその値をこの式の評価の値とする. exp1の値がfalseであれば式 exp3を評価しその値をこの式の評価の値とする.