LISPを実装した後に実装したLISPを使って実装すべき関数は？

Question

LISPの勉強のためJavaScriptでLISPを実装しています。

Wikipediaの純LISPの項目を見るとatom, eq, car, cdr, consの基本関数とcond, quote, lambda, defineの特殊形式を実装すると自分自身を解釈実行できるeval（超循環評価器）を理論上構成できる、とのこと。

なんとかevalを実装（それらの最小要素での実装は自分には早かったのでjsで実装）し、また変数を利用できるようにするためset関数（defineと同じ？）をjsで実装し、+,-,*,/などの基本的な四則演算関数をjsで実装しました。

(set (quote a) 1) ; グローバル変数aに1を代入
(+ 1 a) ; 2

なんとも言い難い感動を覚えたのですが、jsによる関数の実装で言語拡張を続けており、いまいち自分が作ったlispの上で自身を拡張していくというステップに踏み込めません。

LISPでまともにプログラミングできるようにするため
LISPを実装した後に実装したLISPを使って実装すべき関数何でしょうか？

個人的にはdolistをlispで実装したいと思っていますが、実装しようとするといまいち繰り返し処理が実装できず、困っています。

わからないことが多すぎて回答が困る話題になると思いますので、純lispの実装から始まり、lispでlispをどのように拡張していくか丁寧に記載されている本やブログなどございましたらそちらの紹介でもいいので、お助けください。

Answer 1

クワインとか作って遊んで見る手もあるかもしれません。
クワインとは自分自身を結果とする式です。つまり、eval した結果が同じ式になる式です。
lispでは他の言語より作りやすいです。

Answer 2

fibonatti、tak(たらい回し関数) などはどうでしょうか。どちらも再帰を行いパフォーマンスチューニングの題材として良いと思います。
またマクロを実装すると lisp で lisp の関数が作れる様になって良い題材になると思います。

Comments

[hojo]

ご回答ありがとうございます。macroを実装するとlispでlispの関数が作れるというのはmacroを実装するとlispでlambdaを実装できるという解釈でよろしいでしょうか？詳しい資料などございましたら是非URLなど教えていただきたいです。

[mattn]

特に難しい話でなく例えばマクロが実装出来たら when が作れるとかその程度の話です。

(defmacro when (condition &rest body)
`(if ,condition ,@body))

[hojo]

ありがとうございますm(_ _)m