Sketchyな実装ではあるもののオブジェクトシステム、ジェネリックファンクション、コンディションシステムの実装を終えました。私事ですこし開発が遅れていますが山場はこえたのでどうやらこれは形になったものを世間に公開できそうな雰囲気。

まぁ、締め切りがあるわけではないのでゆっくり行くつもりです。

とりあえず、現状をkiss-2012-09-12.zipとして公開しときます。gcc *.cでコンパイルして./a.exeで走るはずです。

自分用の書きなぐりではありましたが、読んでくださる方がいたので翌日朝（２０１２年８月２２日）若干修正。

以前、失敗したにもかかわらず、自分(俺様)仕様LispのインタープリタをCで書いていました。しかし、結局ISLispからObject Orientedな部分とGeneric funcitonを除いたものに毛が生えた程度になってしまいあまりにも簡単すぎたので、それならとISLisp準拠を目指そうと書き直しています。

目的は、まず、自分にもISLisp処理系が書けた！ﾜｰｲヽ(ﾟ∀ﾟ)ﾒ(ﾟ∀ﾟ)ﾒ(ﾟ∀ﾟ)ﾉﾜｰｲという感情を味わうこと。基本方針はKISS(Keep It Simple and Stupid)決してKeep It Short and Simpleとは言いません。バカなほど愚直な実装しか自分には書けないだろうと見積もったわけです。

デザイン指針は、まずC言語で小さなISLispの機能縮小版インタープリタを書きます。そこからISLispで書いた本格的なISLisp処理系を立ち上げ時にロードするというものです。”ISLispで書いた”と言いましたが実際は機能縮小版で実装されている部分と徐々にロードされていくISLispで書いた機能を使ってしか書けないわけです。だがいかにも自由にISLispでISLispを実装しているかのように書くのがミソというわけです。

そして実行速度は無視。インタープリタとしての機能を実現するコードの簡潔さと読みやすさを重視します。fixnumとポインタでビットを立てて区別とかのテクニックは使いません。bignumも最初はなしで必要になったらGNU MP libraryを使います 。ガベージコレクタは最初はつけずに開発します。いずれ必要になればBoehm-Demers-Weiser garbage collectorを使用することにします。

現在のCで書いた縮小機能版は、バッククオートなどもサポートしたread関数、適当に書いたformat-object関数、eval関数などです。つまりrepループは動いています。
ストリームもC言語ライブラリのストリームへの薄いラッパーとして実装しました(stream-ready-pが実装できない危険性あり)。コントロール系スペシャルオペレータのif、Non local exitのunwind-protect、catch、 throw、 tagbody、 go、 block、 return-fromなどもCで記述しました。簡単なerror関数。あとISLispで書いたファイルをロードしてISLisp処理系として立ち上げるためのload関数など。

ISLispで書いたファイルはbuilt_in_classes.lisp、class.lisp、cons.lisp、control.lisp、error.lisp、
format_object.lisp、generic_function.lisp。

class.lispはdefclassを定義しています。このdefclassはメタクラス指定が<built-in-class>のクラス定義だけ動くようになっています。まだメタクラスが<standard-class>のものは受け付けません。

built_in_classes.lispは<built-in-class>をメタクラスにもつ<cons>, <vector>などのクラスの継承関係をdefclass文を使って記述しています。

generic_function.lispは現在書きかけです。Generic Functionは以前、Ｃで実装したことがあるので実装する自信はありますがなぜかここでやる気が途切れて放置しています。

generic functionは<standard-class>のクラスが定義できないdefclassのままでもテストできるので、次の実装目標となりました。(<sequece>, <string>, <cons>などのビルトインクラスのオブジェクトをテストには使います。）

Standard Class、Generic FunctionとCondition Systemが書けたらもうあとは考える必要がないような部分になります。果たしてこの山を越えられるのかまた挫折するのか。Condition Systemは一回、Common Lispで書いたことがあるのでできるはずなんですが忘れています。クロージャとダイナミック変数を使って実装したような…。

Lisp In Small Piecesは内容が難しくて理解するのを断念。

すこしＬｉｓｐ界の現状をGoogleで調べたらISOで標準化されたISLispというのを見つけた。
規格の規模がCommon Lispよりもだいぶ小ぶりなのでこれを参考にインタープリタを
実装してみることにした。

簡単なread, eval, print ループを実装して、generic functionを実装してオブジェクトシステム
のインスタンス生成を実装しようと思っていたところでＣ言語で実装されたＬｉｓｐ関数の
呼び出し方、詳しくは引数の受け渡し形がよくないことがわかって書き直している。

最終的にはC言語へのトランスレータを書いてみたいが、ＥＣＬがＣｏｍｍｏｎ　Ｌｉｓｐで
ＣＬＯＳサポート、スレッドサポート、Ｕｎｉｃｏｄｅ対応などいい仕事をしているようなので
完成したとしても一般的な受けはあまり期待できなそう。