>>479
俺の書ける範囲で述べると、
身近な局所変数＞一層外側のブロックの内部変数＞。。。＞大外側の大域変数
というスコープ階層は知ってるよね？

これに加えて関数呼び出しの階層
特に相似的階層構造の再帰で自然に繰り返しの表現（最終的には末尾再帰を
最適化で単純なloopに変換したコードが生成されるのだけれども)

この論理的（≠物理的）関数呼び出し階層構造では、
各階層における引数リストと返り値リストの相似的階層構造が
型クラスとその継承や委譲による階層構造のようなランダムで管理しにくいﾈｯﾄワーク構造としなくても
管理しやすい入れ子のスコープおよびエクステントの階層構造としてメモリ上に構築し自然に
アクセスできるイメージ

これで伝わるかな…