展開する派としない派があるというはなしです。r5rsの仕様的にはどちらかが正しい動作なのか、そもそも未定義なのか。わかりかねてる所です。r5rsのquasiquoteの仕様はそもそも不完全だと思うんですが、Gaucheではこれは未定義と解釈したような気がします。r6rsではunquoteが任意の数の式を取れるため、明確に定義されると思います。今から実装するならr6rs互換にしておくのが良いのでは。r6rsのquasiquoteの定義は読んだことがないので読んでみます。情報ありがとうございました。unquote-splicingでは書けて、'`,,@では書けない、という状況はありえるんでしょうか。