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

\,\langle

\rangle\,

19.17 while式 while

\,\langle

exp

{}_{1}

\rangle\,

\,\langle

exp

{}_{2}

\rangle\,

19.16 条件式 if $\,\langle$ exp ${}_{1}$ $\rangle\,$ then $\,\langle$ exp ${}_{2}$ $\rangle\,$ else $\,\langle$ exp ${}_{3}$ $\rangle\,$

条件分岐を表す式である．式 $\,\langle$ exp ${}_{1}$ $\rangle\,$ はbool型ち，式 $\,\langle$ exp ${}_{2}$ $\rangle\,$ と式 $\,\langle$ exp ${}_{3}$ $\rangle\,$ は同じ型を持つことが要求される．この制約の下で，この式は $\,\langle$ exp ${}_{2}$ $\rangle\,$ と同じ型を持つ．

この式の評価は以下のように行われる． $\,\langle$ exp ${}_{1}$ $\rangle\,$ を評価し，その値がtrueであれば式 $\,\langle$ exp ${}_{2}$ $\rangle\,$ を評価しその値をこの式の評価の値とする． $\,\langle$ exp ${}_{1}$ $\rangle\,$ の値がfalseであれば式 $\,\langle$ exp ${}_{3}$ $\rangle\,$ を評価しその値をこの式の評価の値とする．

19.16 条件式 if ⟨exp1⟩ then ⟨exp2⟩ else ⟨exp3⟩

19.16 条件式 if $\,\langle$ exp ${}_{1}$ $\rangle\,$ then $\,\langle$ exp ${}_{2}$ $\rangle\,$ else $\,\langle$ exp ${}_{3}$ $\rangle\,$