今年に入ってから、仕事でインタープリタを実装しています。BASICやスクリプト言語のようなインタープリタではなく、どちらかというと、マクロプロセッサに近いもので、テキストの一部を置換するのが目的のものです。その意味では、C言語のプリプロセッサとか、m4とか、PHPなんかに近いのかもしれません。

インタープリタの実装経験は初めてではありませんが、それまではどちらかというと動作させるだけのものでした。そんなわけで、動作させること自体はそれほど難しくもないのですが、結構面倒なのがエラー処理です。といっても、エラーを検出するだけなら割と簡単です。一番面倒なのは、エラーメッセージの生成に関する部分です。
特に、文法エラーが面倒です。例えば、

if 式 then
  ...
else
  ...
endif
(注: このコードは現在実装中インタープリタとは無関係です)

というコードがあったとして、仮にelseの綴りがekseになっていたとします。この場合でも、endifがあるので、ifブロック自体は成立してしまいます。今回作成しているような埋め込み型のインタープリタ（というかマクロプロセッサ）の場合、言語外の記述がソース中に普通に表れるので、人間が見ればすぐに間違いと分かる場合でも、ekseのスペルミスを指摘するようなエラーメッセージを出すのがなかなか困難です。

また、endifがなかったりスペルミスがあった場合でも、エラーの検出行のレポートが結構難しいのです。このような場合、エラーを検出した行は、ifが記述された行とするか、ソースファイルの終端行にするしかありません。しかし、いずれにしてもエラーメッセージを読んで、実際に問題がある行を特定するのはちょっと手間です。

そんなこんなで悩ましい部分もあるのですが、この手の仕事は面白いので、楽しくやっています。日程的に尻に火が付き出すと、楽しくとはいかないのでしょうけど。いずれ成果物を一般公開することになると思いますので、興味のある方は期待しておいてください。また、実装に使用しているBoost.Spiritに関するノウハウも、どこかで公開できればと考えています。