問題1.5

作用的順序で評価する解釈系の場合、testを作用させる前に引数の(p)が評価されるが、pの定義により評価が終了しない。

正規順序で評価する解釈系の場合、testが簡約され、その結果ifが評価されるが、ifの評価規則により0が評価され、結果は0になる。(p)は評価されない。