Pandoricマクロのシンボルをコンパイルするにはどうしたらいいですか？

Question

私は現在、数回、LOLのセクション6.7を読んでいますが、私はまだ次のことを心配していません。

以前に外部コードに対して閉じられていたバインディングは、それらのバインディングが効率的にコンパイルされ、アクセサー記号が忘れられてしまったとしても、私たちにとっては変わりません。

もし閉じられたシンボルが基本的にクロージャの環境でポインタにコンパイルされると、既にコンパイルされた関数にシンボルを渡すことができますし、関数は何とかシンボルを比較できますか？

私はCLISPにpantest例をいじってきた、と私はpantest内accとthisの両方を変更することができるよということがわかります。 pantestをコンパイルして逆アセンブルすることはできますが、すべてのシンボルが環境内に表示されます。アセンブリにコンパイルされたリスプがあれば、私はもっと直感的になるかもしれませんが、コードは複雑すぎて、説明なしではあまりにも難しいでしょう。

Answer 1

、（私は後で戻ってくるだろうし、後でここでいくつかのより多くの情報を記入）短い（とやや単純化しすぎ）で

をpandoric-聞かせてマクロを取得しようとした場合に対処するために、いくつかの余分なコードに追加しました導入するさまざまな変数のそれぞれを設定することができます。この余分なコードは、コードがコンパイルされた後の変数のシンボルを記憶しますが、その情報を必要とする唯一のコードなので、他のすべてが非常に効率的なポインタ操作にコンパイルされます。

この余分なコードを生成する機能は、それらがpandoricletマクロ自体に設けられているシンボルsymとvalに依存するコードを返すので、読みトリッキーされどちらも、pandoriclet-getとpandoriclet-setあります。

Answer 2

私はLet Over Lambdaに慣れていません。

小冊子の本Lispは、レキシカルバインディングがどのように非常に効率的な変数参照にコンパイルできるかを説明しています。変数へのすべての既知の参照は限定された範囲にあるので、配列を使用してバインディングを格納し、シンボルを使用してシンボルを使用したり、シンボルのプロパティを使用して値。

関数に渡されるシンボルは単なるシンボルであり、一種のデータです。関数内の他のものと比較することは、特定のスコープ内の字句バインディングに関する情報にアクセスすることと同じではありません。

レキシカルステートにアクセスして修正するためにシンボルを渡して関数の振る舞いをどのように変更できるかを示す教訓的なLisp擬似OOテクニックがありますが、これは任意のルックアップではなく、シンボルに基づく字句情報の

(defun make-incrementor (initial-value) 
    (let ((value initial-value)) 
    (lambda (action) 
     (ecase action 
     (:value 
     value) 
     (:increment 
     (incf value)) 
     (:reset 
     (setf value initial-value)))))) 

> (defvar *inc* (make-incrementor 10)) 
*INC* 

> (funcall *inc* :increment) 
11 

> (funcall *inc* :increment) 
12 

> (funcall *inc* :increment) 
13 

> (funcall *inc* :reset) 
10 

これは、外部アクセスなしで、valueのレキシカルバインディングを操作しています。すべての変更は、同じ語彙的な場所にあるコードを介して行われます。