• branch=trunk inherited from [f65680e1d2]
• sym-trunk inherited from [f65680e1d2]

Added memo.txt version [10868a3c96e6a326]

            1  +@macro レイヤをどう実装するべきか
            2  +
            3  +- 「マクロレイヤは実行時レイヤの先に実行される」が
            4  +- 「マクロ定義内で実行時関数を（構文木の操作のためなどに）使えると便利である」
            5  +- 「といって、特に関数内マクロなどについて、実行時のスコープが定まるのを待ってから
            6  +    毎回関数実行のたびにマクロ展開していると遅い」
            7  +
            8  +ざっと調べた結果。
            9  +普段スコープ内マクロとか全く使わないので間違ってる恐れが多々あるので注意。
           10  +
           11  +Common Lisp
           12  +  http://www.lispworks.com/documentation/HyperSpec/Body/m_defmac.htm
           13  +  http://www.lispworks.com/documentation/HyperSpec/Body/03_abaa.htm
           14  +
           15  +  - トップレベルの defmacro の body は compile 時に実行できなくてはいけない
           16  +  - トップレベル defmacro の出現以降の式は全て一度に compile 時展開される (must?)
           17  +  - (eval-when (:compile) (require ...)) 的なかんじの指定をすることで
           18  +    コンパイル時にライブラリ関数をimport等はできるので、それでまあ実行時間数もわりと
           19  +    コンパイル時にも使える
           20  +
           21  +  - lexical scope 内での defmacro は環境も普通にキャプチャできるし普通に"実行時"に展開される。
           22  +    すなわち関数本体の実行は、というか書く式 "form" の、eval はまず macro なら展開してから
           23  +　  eval、というステップを踏む
           24  +
           25  +  たいていの「コンパイルできる」普通のマクロは速く処理できて、
           26  +　実行時環境キャプチャするようなこともしたければ自由に出来るけど遅くていいやという感じか。
           27  +
           28  +
           29  +R6RS
           30  +  http://practical-scheme.net/wiliki/wiliki.cgi?R6RS%3a%E7%BF%BB%E8%A8%B3%3aR6RS%3a10%20Expansion%20process
           31  +
           32  +　全部コンパイル時にやる。
           33  +　実行時束縛 (define や (let や (lambda は、hygenic 性のために変数束縛であることは記録されるし、
           34  +　あと微妙にマクロ展開の評価順序も変えるけど、基本的にはマクロ展開器はこの辺の special form を素通りして
           35  +　いきなりコンパイル時に中まで展開をかける。以降、実行時はまったく展開は起きない。
           36  +
           37  +　- lexical scope のキャプチャは？
           38  +　  spec ではどういう扱いなのかいまいちよくわからない。
           39  +　　- Gauche はコンパイル時に解決されるものだけは解決してくれた。
           40  +　　　　(lambda (x)
           41  +            ... (let-syntax ... x ...) ...
           42  +      この x は stray local variable エラーになるけど
           43  +　　　　(let ((x 1))
           44  +            ... (let-syntax ... x ...) ...
           45  +      は行ける
           46  +
           47  +　現実的で妥当だと思うけどスコープの概念が錯綜している感が初見ではして
           48  +　（といっても深く考えるとそうでもないように思えてくるけど）すこし慣れにくいかも