オライリーの『Go言語でつくるインタプリタ』を読みながら、実際にインタプリタを実装してみました。
うわさ通りの非常に良い本だったので、
- 必要な前提知識
- 見どころ
- どんな人におすすめか
をまとめます。
書籍『Go言語でつくるインタプリタ』とは
この本はタイトル通り、Go 言語でインタプリタを実装する書籍です。
実装するのは Monkey というシンプルな言語で、最終的には REPL で実行可能な Tree-Walking 型のインタプリタができあがります。
コードはほぼ書籍内に書かれており、写経しながら読み進めるのに適しています。
必要な前提知識
この本を読む上で必要な前提知識は非常に少ないです。
Go 言語の基本文法が分かれば十分で、コンパイラやインタプリタについての知識は不要です。
3 つの見どころ
自分にとって、この本の見どころは以下の 3 つでした。
- Pratt 構文解析器
- クロージャの実現
- マクロシステムの実装
それぞれの見どころについて、簡単に書いていきます。
Pratt 構文解析器
この本は字句解析や構文解析もツールを使わずに実装していくのですが、そこで最初の見どころが Pratt 構文解析器の実装です。
Pratt 構文解析は「再帰下降構文解析」の一種で、JSLint で使われているそうです。
再帰下降構文解析自体はなんとなく実装したことがあったのですが、Pratt 構文解析のあまりのシンプルさに衝撃を受けました。
書籍の中にも書かれている通り、最初はなぜそれでうまく動くのかピンと来なかったりしますが、理解できたときの驚きはとても大きいです。
クロージャの実現
実装していくインタプリタは Tree-Walking 型のため、構文解析さえできれば、評価の部分は特別難しくはないです。
そんな評価の章で特に良かったのが、クロージャを実現できることです。
JavaScript などでよく話題になるクロージャにおける変数の束縛を、実際に実装してみることができるのです。
Monkey 言語は非常にシンプルな文法ですが、関数の挙動がパワフルで、こんなにシンプルな実装でもこんなに複雑なコードを実行できるのかと感動しました。
マクロシステムの実装
最後に、付録のマクロシステムについてです。
4 章まで実装すると一段落なので「付録のマクロシステムまでは実装しなくてもいいかな」という気持ちになってしまうかもしれませんが、ここもかなりの見どころでした。
この付録を読み、手を動かしてみると、AST (抽象構文木) の取り扱いについて理解が深まる感触があります。
最初は何をしようとしているか分かりにくい点もありますが、最終的にはここまでやって良かったと感じました。
どんな人におすすめか
全体として非常に良かったこの本ですが、インタプリタやコンパイラについてあまり知らないという方にとてもおすすめです。
遊びレベルのインタプリタやコンパイラは、実装したことがない方が想像しているよりも、ずっと簡単に実装できます。
特別な知識は不要で、プログラムをすらすら書ける (コンパイルエラーなどでつまづくことがない) くらいの段階で十分取り組めます。
この本は TDD で進んでいくこともあり、プログラミングの練習としても非常に良い題材なので、興味を持った方はぜひ手に取ってみてほしいです。
