Scheme の特徴のひとつに末尾呼出し最適化があることは有名だろう。 末尾文脈における呼出しの回数に制限がないことが仕様で定められている。 実装に対して制約を設けないように迂遠な言回しになっているが、条件を満したときには呼出しをジャンプに置換える…