Anaphoric If - (new Hatena).blog()

Anaphoric If - (new Hatena).blog()

Arc の aif のように、意図的な変数キャプチャ (マクロ定義の中で作られた変数をマクロユーザーが参照で...概要を表示 Arc の aif のように、意図的な変数キャプチャ (マクロ定義の中で作られた変数をマクロユーザーが参照できるようにすること) を用いたマクロを作る時、Scheme では一般に datum->syntax という関数を使います。 (define-syntax (aif stx) (syntax-case stx () ((aif expr then else) (with-syntax ((it (datum->syntax #'aif 'it))) #'(let ((it expr)) (if it then else))))))datum->syntax の第1引数で、第2引数が有効になる範囲を指定します (ここでは aif 構文内)。なお、この場合 syntax-rules ではなく syntax-case で定義する必要があります。 これで、 > (aif (assq 'a '(