Emacs Lisp

Emacs Lispは、GNU EmacsとXEmacsテキストエディタで使われているプログラミング言語LISPの方言である。Emacs組込みの編集機能のうち、C言語で書かれた部分以外のほとんどを実装するのに使われている。また、利用者によるEmacsのカスタム化や拡張のために用いられる。date=2023年9月。

Emacs Lispはスクリプト言語として使うこともでき、コマンド行や実行ファイルからも呼び出せる。バッファや移動コマンドのような編集機能はバッチ・モードで動作する。

Emacs Lispは、ときに「ELisp」や「Elisp」と書かれたり呼ばれたりすることもある 。機能でいうと、Common Lispの影響も後にみえるが、Maclisp方言と強い関係がある 。プログラミング・メソッドとして、手続き指向プログラミングと関数的プログラミングに対応している。関数をデータとして扱えるなどの強力な機能のため、 Emacsの書換えにあたり、リチャード・ストールマンは拡張言語としてLISPを選んだ。ストールマンがGosling EmacsをGNU Emacsへ書き換えていたとき、Common Lisp とは違ってSchemeは既に存在した。しかし、当時のワークステーションの性能は貧弱であったため、Schemeよりももっと簡単に最適化のできるLISP方言を開発する必要があった。

Emacs Lispは、アプリケーション・プログラミングで使われる方言群であるSchemeやCommon Lispとは根本的に異なる。大きな違いの1つは、デフォルトで字句的スコープではなく動的スコープを使うことである。つまり、呼出し関数の局所変数は、呼び出された関数からも参照できるが、定義時のスコープで参照しているのではない。

Emacs Lispを書くのがGNU Emacsをカスタム化する唯一の方法ではない。バージョン20以降のGNU Emacsには「カスタム化」機能があり、利用者はグラフィカルなインターフェースによって一般的なカスタム化変数を設定できる。「カスタム化」機能は、比較的単純なものに制限されているものの、利用者の代わりにEmacs Lispのコードを書いてくれる。利用者全員がEmacsの提供する高度な拡張性が必要なわけではないし、またそういう人は自分でEmacs Lispのコードを書けるものだ。

1. 例
----

Emacs Lispで書いたEmacsの簡単な拡張例をあげよう。Emacsでは、編集領域は、別々の//バッファ//を表示する//ウインドウ//という領域に分かれる。おおざっぱにいえば、バッファとは  Emacsのメモリに読み込んだテキストのかたまりで、テキストファイルとして保存できる。

新しいウインドウを開くユーザコマンドは、「C-x 2」である。これは、「Control」キーを押下した状態で「x」キーを押し、その後単独で「2」キーを押す、ということだ。このキー列はEmacs Lispのsplit-window-vertically関数を動かし、普通は新しいウインドウに前のものと同じバッファが表示される。ここでは、その次に有効なバッファを表示するようにしたい、ということにしてみよう。そのためには、利用者は、次のEmacs Lispコードを、既存のEmacs Lispソース・コードや空のEmacsバッファに書く。

    ))

<WtXmlEndTag />

最初の文 は、新しい関数my-split-window-functionを定義する。これは、split-window-vertically  を呼び出し、新しいウインドウが別のバッファを表示するようにする。次の文  は、「C-x 2」というキー列に新しい関数を結び付けなおす。

もっと簡単に書く方法もある。Emacs Lispには「advice」という強力な機能があり、利用者は既存の関数を再定義せずに新しいラッパーを作れる。「advice」を使うと、上のコードは、次のように再実装できる。

 activate)  ))

これは、split-window-verticallyが呼び出されたとき、関数の本体を実行する前に利用者の指定したコードを実行するよう命令している。

こういった変更は、たとえば「M-x eval-buffer」コマンドを使ってコードが評価されてはじめて効果が生ずる。Emacsの再コンパイルはおろか再起動さえいらない。Emacsのカスタム化は便利だといわれる所以である。もしEmacsの「立上げファイル」 にコードを保存すれば、次にEmacsが立ち上がったとき、Emacsはこの拡張を読み込むことになる。

2. ソースコード
---------

Emacs Lispのコードは、「.el」という拡張子のファイルに、テキストファイルとして格納される。ファイルが読み込まれると、Emacsプログラムのインタープリタ部分が、関数や変数を読んだり解析したりして、メモリに格納する。そうして、他の編集関数や利用者コマンドで使えるようになる。関数や変数は、自由に修正したり、読み込みなおしたりできる。

メモリ空間の節約のため、Emacsの機能の多くは、必要になるまで読込まれない。追加機能一式それぞれは、「ライブラリ」というEmacsコードの集まりで実装されている。たとえば、プログラムソースコードのキーワードの強調用ライブラリやテトリス・ゲームで遊ぶライブラリなどがある。各ライブラリは、ひとつまたは複数のEmacs Lispソース・ファイルで実装される。

一部の関数は C言語で書いてある。これは「プリミティブ」と呼ばれる。プリミティブはLispコードから呼び出すことができ、C言語のソース・ファイルを修正し再コンパイルすることでのみ変更できる。GNU Emacsでは、プリミティブを外部ライブラリにすることはできず、Emacs実行形式の一部分となる。XEmacsでは、オペレーティング・システムの動的リンクのサポートを使って、プリミティブを実行時に読み込める。関数をプリミティブで書くのは、Emacs Lispからはアクセスできない外部データやライブラリを用いる必要があったり、C言語とEmacs Lispで実行速度の差が十分認められるほど頻繁に呼ばれたりする場合である。

ただし、C言語でのエラーはすぐにセグメンテーション違反やより些細なバグにつながるため、エディタをクラッシュさせるし、Emacs Lispのガベージ・コレクタと正しく相互作用するC言語のコードを書くことはエラーを引き起こしやすいので、プリミティブで実装されている関数は比較的少数である。

2.1. バイトコード
-----------

Emacs Lispコードの性能は、「バイト・コンパイル」で向上させることができる。Emacs Lispのソース・ファイルをバイトコードという特殊表現に変換するコンパイラがEmacsにはある。Emacs Lispのバイトコード・ファイルの拡張子は、「.elc」である。ソース・ファイルにくらべると、バイトコードは速く読み込めて、ディスク空間を少ししかとらず、読込み時のメモリーが少なく、速くうごく。

バイトコードは、プリミティブよりは遅い。しかし、バイトコードで読み込まれた関数は、簡単に修正したり、再読込みしたりできる。さらに、バイトコード・ファイルは、プラットフォームに依存しない。Emacsについてくる標準的なEmacs Lispコードは、バイトコードで読み込まれるが、利用者の参照用として、対応するソース・ファイルも大抵付いている。利用者の拡張はそれほど大きくもなく、また計算機の負担も小さいので、普通はバイト・コンパイルされない。

3. 言語機能
-------

「cl」パッケージは、Common Lispのサブセットとしてはかなり大規模な実装であり、注目に値する。

Emacs Lispは、静的でなく  動的スコープを使う。したがって、もし変数がある関数のスコープで宣言されると、その関数から呼び出されたサブルーチンにおいても有効になる。これはもともとは、利用者のカスタム化のための高度な柔軟性を提供するためのものだった。しかし、動的スコープには短所がいくつかある。第一に、別々な関数の変数間での不本意な相互作用のため、大きなプログラムではバグを簡単に生じやすい。第二に、動的スコープ下での変数アクセスは、字句的スコープのそれより、一般に遅い。そのため、Emacs Lispを字句的スコープに変換する、という計画が立てられたが、まだ完了はしていない。「cl」パッケージのlexical-letマクロは、Emacs Lispのプログラマに効率的な字句的スコープを提供している。「cl」はよく使われているが、lexical-letはめったに使われない。

Emacs 24 では静的スコープが使えるようになった。

Emacs Lispは、他の多くのLisp実装でおこなわれている末尾再帰の最適化をしない。最適化されていない末尾再帰は最終的にスタックオーバーフローに至る可能性がある。

4. 脚注
-----

5. 参考文献
-------

Free Software Foundation編著「GNU Emacs Lisp Reference Manual」Walking Lint訳、ビレッジセンター出版局、1992年、ISBN 4-938704-02-1
リチャード・ストールマン他「GNU Emacs Lispリファレンス・マニュアル」榎並嗣智、井田昌之監訳、透土社、1995年、ISBN 4-924828-39-4
Bil Lewis, Dan LaLiBerte, Richard Stallman, the GNU Manual Group「Emacs Lispリファレンスマニュアル」大木敦雄訳、アスキー出版局、2000年 ISBN 4-7561-3414-9

6. 外部リンク
--------

[1]
R. Chassell著, "[2]"
B. Lewis, D. LaLiberte, R. Stallman著, "[3]"
[4] の [5]