anaphoric ifを使っていて時々感じるんですが、やはり空リストが偽として扱われない Scheme の意味論は、実用上どうしても不便なことが多いです。例えば、cdr が空でなければループを続ける (if (pair? (cdr l)) (loop (cdr l)) ...)というパターンを (aif (…