symbol-macrolet の挙動をちゃんとわかってないことが判明したので sbcl で調べてみた。 operator は展開しない (defun foo () 'DEFUN) => FOO (symbol-macrolet ((foo 'SYMBOL-MACRO)) (list foo (foo))) => (SYMBOL-MACRO DEFUN) (symbol-macrolet ((foo '…

書いてて気づいたんだけど、単純に除外するんじゃなくて、たとえば (let (foo ...) ...) なら foo は symbol-macro じゃないけど他の bar とかは symbol-macro になるから、bar とかはちゃんと置換しなきゃいけないんだ。うん。で。 関数で lexical scope を…

symbol-macrolet lexically establishes expansion functions for each of the symbol macros named by symbols.symbol-macrolet は、symbols で命名された symbol-macro を展開する機能を、レキシカルに確立します。 CLHS: Special Operator SYMBOL-MACROLE…

(symbol-macrolet ((foo (+ 1 2 3))) (macrolet ((foo () `,foo)) (list foo (foo)))) => (6 30) (symbol-macrolet ((foo :symbol-macro)) (macrolet ((foo (foo) `(list ,foo foo))) (foo :local-macro-arg))) => (:LOCAL-MACRO-ARG :SYMBOL-MACRO) ふむ (s…