やっと分かった

Scheme Gauche プログラミングGauche

ずっと

(define-macro (my-when test . body)
  `(if ,test (begin . ,body)))

が理解できなかった。具体的に言うと、

(my-when (even? 4) 1 2 3 4)

って使うと、,testが#tになると思い込んでいたので、,bodyが(1 2 3 4 5)という関数適用でエラーにならないことがずっと理解できなかった。
そこで、

gosh> (macroexpand '(my-when (even? 4) 1 2 3 4))
(if (even? 4) (begin 1 2 3 4))

ってやってみて、やっと気づいた。

  • ,testは#tではなく、(even? 4)というリストへ展開される
  • ,bodyは関数適用でなく(1 2 3 4)というリストへ展開される

わけだな。
メタプログラミング脳になりきれていない証拠だなー。