hatsugai
Hatsugai と申します。Winston & Horn から LISP に入り、Structure and Interpretation of Computer Programs ですっかり Scheme に魅せられてしまったものです。Scheme が実務で使われているという例を1つ増やすために（加えて Scheme でごはんが食べられるようになるために）日々コードを書いています。
2度目の処理系実装を始めたときの最新レポートは R6RS だったのに、ライブラリをちょこちょこ整備している間に R7RS とかいわれて、ちょっとがっくりきている今日このごろです。
よろしくお願いします。
作っている処理系概要
- 3imp の stack ベース
- 3imp の中間コードから x86 native コード生成
- let （はマクロでlambda にしているだけなので、関数位置に直接書かれた lambda）だけちょこっと効率化
- マルチスレッドあり（同期オブジェクト系は貧しい＆怪しい）
- GC は教科書通りのコピー型
- Platform は（小声で）MS-Windows ダケデス
- すべて Scheme でウィンドウシステムとウィジェットを書きました。
- ウィンドウシステム上のエディタの中で eval できます (￣ー￣)。これが出来たときはうれしくて踊りました。
- Beautiful code の Kent Dybvig さんのアルゴリズムを読んで syntax-case を実装してはみたものの、速度が遅く、正しさも確信が持てなかったので諦めました^^;。
- 代わりに Common Lisp 風のマクロとパッケージシステムを入れました（これはどうなのかな、、、）。環境（継承あり）もあるので、どっちでモジュール化するか、混乱中です。コードがたまる前に R7RS に移れってことかな。
- 継続は、実装はしてみたものの、あまり自信がないです。スレッドをまたげないです（これはふつうできるものなのかな？）。
- FFI はなくて、必要が出るたびに組み込み関数が無秩序に増えてます^^;。
Shiro さん、ひげぽんさん、Y.Fujita さんの書かれたものを参考にさせていただきました。この場を借りてお礼申し上げます。ありがとうございます。
現在 64bit 化に向けて並行 GC の勉強中です。