「Emacsのトラノマキ」連載第14回「Lispの世界」(袖山剛) | ありえるえりあ

* はじめに 今回は著者がelispで書いたLispインタープリタsLispを元にLispの世界を紹介していきます。 ラムダ計算、Yコンビネータやschemeで有名な継続をsLispの実装を元に解説します。 sLispのソース全文を記載したgithubへのリンクを書いておくので興味のある方は実際に動かしてみてください。 http://github.com/sodeyama/slisp/blob/master/slisp-ycc.el 注・sLispはemacs 22.2.1上のみで動作検証をしています。 * ラムダ計算 Yコンビネータは、プログラミング言語Lispが基礎としている理論「ラムダ計算」に深く関係しているため、 まずは簡単にラムダ計算について説明します。 ** ラムダ記法 ラムダ計算を知るにはまずラムダ記法を知る必要があります。 ラムダ記法は"関数"の記述を簡便に扱うための記法で