いろいろな言語に話を展開すると、autoのextentは解釈としてdynamicにカテゴライズされるのが一般的だと思うけどそれがなにか

auto変数は本来Lispの様な言語に必須のものではないんだけれど、
lexcal変数を扱う処理のsemanticsが維持できればcomplierの最適化によって生成コードではstack上に(auto変数領域)に割り付けられる
こ・と・も ある