Weak Consを用いたマクロ再定義時の自動再コンパイル

概要

論文の詳細を見る
Lisp処理系には,インタプリタとコンパイラの両方を備えた処理系が多いが,その両方を併用する場合は,マクロを使用した関数のコンパイルに注意を要する.インタプリタでは,マクロ展開はマクロ式の評価時に行うため,いつでも最新のマクロ定義が使われる.一方,コンパイラでは,コンパイル時に展開を行うため,コンパイル時におけるマクロ定義が使われる.そのため,マクロを使用した関数をコンパイルする場合は,必要なマクロがあらかじめ定義されていなければならない.またコンパイルされた関数では,マクロ式はすでに展開されているので,マクロを再定義してもその変更はコンパイルされた関数には反映されない.このようにコンパイラでは,マクロの定義時期やマクロの再定義によって,動作がインタプリタと変わってしまうことがある.そこで本論文では,関数とマクロの依存関係グラフを保持し,マクロの(再)定義時にそのマクロに依存する関数やマクロを自動再コンパイルまたは自動再定義することにより,コンパイラを使用した場合でもインタプリタと同じように動作させる方法を提案する.提案する方法では,weak consを用いることによって,不必要な再コンパイルを避けることができ,また不要な再コンパイル情報を捨てることができる.本方法は,本文で述べるように,インタプリタと同じ動作をさせることができない場合があるが,それはきわめて特殊な場合であり,実用上は問題ないと考えられる.
一般社団法人情報処理学会の論文
1995-06-15

Weak Consを用いたマクロ再定義時の自動再コンパイル

スポンサーリンク

概要

著者

関連論文

スポンサーリンク