最近、プログラミング初心者にJava講義をしています。

教科書の指定はありませんが、実は裏読本があります。エイホ等が著者の「コンパイラ―原理・技法・ツール」です(通称、ドラゴンブック)。 講義の1回目は、第2巻の先頭章(7.実行時環境)が下敷きになっています。ソースコードに書かれている「文字の意味」の理解に努めるより、実行時に「何がどう動くか」をイメージする方がJavaの理解の近道になるという判断です。

「コンパイラ」の「7.実行時環境」の章は実に良い章です。例えば、入れ子になった手続き(*)定義がある時、内側の手続きがレキシカルスコープで非局所変数を参照する動作の説明があります。これがいわゆる「クロージャ」です。世の中のクロージャの説明は、たいていはScheme、もしくはCommon Lispで行われますが、この本はPascalでしています。

Pascalには入れ子の手続き定義があります。Cで言えば、関数定義の中に関数定義を書く機能です。Cはこれを許していません。少なくとも今のJavaもそうです。個人的には、Cが入れ子の手続き定義を許さない言語仕様にしたのは正しい決定だったと思っています。このため、手続き間で値を受け渡すためだけのデータ型定義(構造体定義)が濫立する弊害もあります。コールバック関数ごとに(値を受け渡すためだけの)構造体定義があると、うんざりしますが、このデメリットよりも単純さのメリットが上回っていると思います。Cなら、という前提の意見です。他の言語は別です。

(*)ここでの「手続き」は、関数やメソッドを含む総称的な意味で使っています。