ド・ブラン・インデックス 引き続きTAPLを読んでます。 TAPL*1のuntyped*2の実装でムツカシイところは、ド・ブラン・インデックスでした。 6章に詳しくかいてありますが、名前ではなくて環境中の何番目にあるかを持つ事で、宣言していない変数の参照をチェッ…