• 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
                                                                                        >    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  　（といっても深く考えるとそうでもないように思えてく��けど）すこし慣れにくいかも