>>521
> 今もこれからも、構文解析はプログラムを読んだらすぐに
> 全部まとめてやる。

アホですか。
ソースの中身以前に、Rubyインタプリタの動作原理自体がわかっていないようだな。
evalメソッドの引数式には何がくるかは、実際に実行されるまでわからない。
だから、実行時に構文解析器を呼び出して、構文木に変換し、それをrb_eval()で辿って実行する。
この時、初めて現れたローカル変数は、コンパイル時にオフセットが確定する通常のローカル変数のようには実装できない。そのためにリストで管理する「動的ローカル変数」が必要となるわけだ。
上記のようなことは、一度、簡単なスクリプト言語でも作ってみれば、すぐに気づく性質のことだがな。
MLでのやりとりを羅列しているだけでは、わかるまいが。