2009年02月05日

On Lisp 続き 6章～9章

On Lisp を読みつつのメモだったり感想だったりの続き。いよいよマクロへ。

6. 表現としての関数

いよいよマクロ。

逆クォート
- ,で打ち消し、,@で展開
- マクロ展開時に引数に置き換えてほしいものの前に , や ,@ をつけるイメージ
マクロ展開の確認
- xyzzy には pprint がないので展開を確認できない
- テンプレートの使い方と展開形の確認に対応方法が書いてある
- けど、ここからは clisp で確認していくことにする
構造化代入
- よく分からないのでパス
マクロのモデル
- defmacro の簡易実装が書いてある
- が、理解できない…。ひとまずパス。
関数からマクロへ
- 単純に変換できない場合の対処法

+ のマクロ版が

(defmacro sum (&rest args)
  `(apply #'+ (list ,@args)))

と定義されていたが、これでもいけた。

(defmacro mysum (&rest args)
  `(funcall #'+ ,@rest))

引数の評価を抑制する。

On Lisp に出てきた while を使ってみる。

(let ((x 10) (sum 0)) 
  (while (> x 0) 
    (incf sum x)
    (decf x)) sum)

すごく手続きっぽい書き方になってしまったが、while の中の setq は x の値によって呼ばれる回数が変わってくる。全く評価されないかもしれない。

変形(setfパターン)
- setf は引数として与えられた値に書き込む
- ```
(let *1) (setf (car x) 9) x)  ; (9 4)
```
- 第一引数を見て判断するのでマクロでないとできない
束縛
- let や setq などのレキシカルな束縛を変更する処理はマクロが必須
条件分岐
- 条件が満たされたときのみ評価するにはマクロが必須
- (if t (print 3) (print 4)) で 4 が表示されては困る。if が関数なら呼び出す時点で評価されてしまう。
複数回の評価
- while など、ループのたびに評価されるようにするにはマクロが必須。
呼び出し側環境の利用
- 呼ばれた場所のコンテキストに応じた変数を使える
- これは危険。通常は使うな。 (On Lisp の本では継続とATNコンパイラで利用している)
新しい環境を包み込む
- ちょっと分からん。保留。
関数呼び出しの節約
- インラインでも同じ

悩むような微妙なケース。

avg のサンプル

>(defmacro avg (&rest args)
  `(/ (+ ,@args) ,(length args)))
> (pprint (macroexpand-1 '(avg 10 11 12)))
; (/ (+ 10 11 12) 3)

コンパイル時には長さが固定された状態になっている。

長所まとめ：

短所まとめ：

長所と短所のバランスが大事。

構文変換として使うよ。
- よくあるパターンをマクロで定義すれば、処理が明確になって嬉しいよね。
- defun も lambda で生成した関数を symbol-function で登録しているに過ぎない
DSLとして使うよ。
- 「再描画しつつ○○する」の共通武運を with-redraw マクロで実装
- (雑感) lambda でもできなくはなさそうだが、ソースはすっきりするのかな

マクロ引数の捕捉

フリーシンボルの捕捉

捕捉可能の定義。

for の例を解決するいろんな方法を取り上げる

*1: x '(3 4