sicp 1.5 检测 解释器 是 正则序还是应用序求值

application_order_or_regular_order.scm

(define (p) (p))

(define (test x y)
    (if (= x 0)
        0
        y)
)

; 应用序求值(先求值参数而后应用), 会陷入死循环; 正则序求值(完全展开而后归约), 会输出0.
(test 0 (p)) 

已知的, 应都是 应用序求值, 期待遇到 正则序解释器的一天.

究竟是什么实际场景下, 正则序会更有价值呢?