フッ君の日常

キーボードを掃除した

年末恒例。
身近なものがキレイになると気持ちが良いですな。

On Lisp 第17章 リードマクロ

　リードマクロは、普通のマクロよりも Lisp 言語そのものをいじってる感が強いですなぁ。

Lisp のS式の生涯で重要な3つの瞬間
  - 読み込み時
  ｰ コンパイル時
  - 実行時

リードマクロ => 読み込み時に機能

17.1 マクロ文字
  - マクロ文字: Lips のリーダに特別な扱いを要求する文字
                (例、"開き括弧")
  - set-macro-character, リードマクロの定義
      - クォート (') は、Lisp 最古参のリードマクロの一つ
(set-macro-character #\'
                     #'(lambda (stream char)
                         (list 'quote (read stream t nil t))))

  - read の引数の最後の3つ
      1. ファイル終端に達したときにエラーを起こすか
      2. 起こさないなら何の値を返すか
      3. read を呼び出している間にも read が呼び出されるかどうか
      * ほとんどすべてのリードマクロで、第2、第4引数は t であるべき
      # 参考: read - refwiki
      
17.2 マクロ文字のディスパッチング
  - シャープ (#): ディスパッチングマクロ文字
      - リードマクロを1文字以上で定義するため
  ｰ make-dispatch-macro-character で独自のディスパッチングマクロ文字を定義可能
      - # がデフォルトで定義されている
  ｰ set-dispatch-macro-character, ディスパッチングマクロ文字の新たな組み合わせの定義

17.3 デリミタ
  - read-delimited-list, 指定した文字が現れるまで Lisp オブジェクトを読み込み
                         結果のリストを返す
      # 参考: read-delimited-list - refwiki

On Lisp
Paul Graham


オーム社 2007-03
売り上げランキング : 82240
おすすめ平均

Amazonで詳しく見る by G-Tools

On Lisp 第16章 マクロを定義するマクロ

　「関数を返すマクロ」があるのであれば、「マクロを定義するマクロ」を考えるのは自然な発想ですな。

第16章  マクロを定義するマクロ
 - 省略名を定義するマクロ
 - アクセス用マクロを定義するマクロ
 - アナフォリックマクロを定義するマクロ

16.1 省略
  - よく使われるオペレータの名前は短くあるべき
  - バッククォートのついた任意の式を見ただけで
    展開結果を言えるようになるとは思うべきではない
  - マクロでは論理的に不要なかっこは省くのが良い

16.2 属性
  - オブジェクト o が属性 p を持ち、その値が v である
      => o の属性リストを利用 (* 便利だが効率の悪い表現)
(setf (get o p) v)
      
16.3 アナフォリックマクロ
  - aif, awhen, awhile, acond, alambda, ablock, aand
  - a+, alist
      => アナフォリックマクロの定義は重複したコードになる
      => アナフォリックマクロを自動定義するマクロを作成できる
      => defanaph

On Lisp
Paul Graham


オーム社 2007-03
売り上げランキング : 82240
おすすめ平均

Amazonで詳しく見る by G-Tools

On Lisp 第15章 関数を返すマクロ

そろそろ紹介されるマクロが大きく複雑になってきて、ついていくのが少し大変になってきた。

15.2 Cdr部での再帰
  - シンボルマクロが役に立つ例
      - シンボルマクロを使用した場合
(defmacro alrec (rec &optional base)
  "cltl2 version"
  (let ((gfn (gensym)))
    `(lrec #'(lambda (it ,gfn)
               (symbol-macrolet ((rec (funcall ,gfn)))
                 ,rec))
           ,base)))
(alrec (and (oddp it) rec) t)

      - シンボルマクロを使用しない場合
(defmacro alrec (rec &optional base)
  "cltl1 version"
  (let ((gfn (gensym)))
    `(lrec #'(lambda (it ,gfn)
               (labels ((rec () (funcall ,gfn)))
                 ,rec))
           ,base)))
(alrec (and (oddp it) (rec)) t)  ;; シンボルマクロを使う場合に比べて、
                                 ;; rec を呼び出すための括弧が余計


15.3 部分ツリーでの再帰
  - 関数生成関数を書いて、それにマクロのきれいなインタフェースをかぶせる

On Lisp
Paul Graham


オーム社 2007-03
売り上げランキング : 82240
おすすめ平均

Amazonで詳しく見る by G-Tools

On Lisp 第14章 アナフォリックマクロ

　アナフォリックって何かと思ったら、要は Perl の $_ に相当するものだとのこと。考え方自体は割と単純。試しに、aif を Ruby でそれっぽく実装してみると、こんな感じか。

def aif(test, &then_form)
  @it = test
  if @it
    then_form.call
  end
end

aif 'a' do
  puts @it  #=> a
end

ただ、else は簡単には再現できそうにない。この辺りでマクロの強力さを思い知る。

  - アナフォラ => 「それ」、「it」、Perl の $_
  - 意図的にシンボル it を補足する
  - 意図的に変数補足を行うマクロのエクスポート
      => 補足されるシンボルのエクスポートも必要
           * パッケージ foo 内の (捕捉される) it は、フルネームでは foo:it

14.1 アナフォリックな変種オペレータ
  - アナフォリックな if, when, while, and, cond, lambda, block の例
  
14.2 失敗
  - 真、偽、失敗の判別
    => 多値を利用する
        * gethash は、第一返り値がデータ、第二返り値が成功 or 失敗の表現
          3通りの場合を判別するイディオム (マクロによる隠蔽が有効)
(defun edible? (x)
  (multiple-value-bind (val found?) (gethash x edible)
    (if found?
        (if val 'yes 'no)
        'maybe)))


  # 関数をクロージャとして使うテクニック (イディオム？)
  # 図14.4 で gensym の複数回評価を避けるために使用
(let ((x 0))
  (defun inc ()
    (setq x (1+ x))))
(inc)   ;=> 1
(inc)   ;=> 2
(inc)   ;=> 3

  
14.3 参照の透明性
  - Gelernter と Jagannathan の (プログラミング言語に対する) 定義
      1. どの部分式も、値の等しい別の式に置き換えることができる
      2. 同一コンテキスト内では、同じ式はどこで何回使われても同じ値を返す

On Lisp
Paul Graham


オーム社 2007-03
売り上げランキング : 82240
おすすめ平均

Amazonで詳しく見る by G-Tools