- 147 名前：デフォルトの名無しさん [2012/03/04(日) 12:08:56.91 ]
- 分岐を関数で表現するのは難しくない。
T（x,y）=x
F（x,y）=y
IF（c,x,y）=c（x,y）
最後のは糖衣構文で、cはTかFが入る。
問題はこれを先行評価すると、
xの評価、yの評価、どっちかの選択と
進行してしまい、無駄な評価またはやっては
ならない評価をしてしまうことになる。
遅延評価では必要になるまで引数は評価されず、
c（x,y）にはxかyの一方しか含まれないので、
上記の問題は起こらない。
