[ruby-dev:2899] Re: [ruby-list:8388] Re: what type are true and false

けいじゅ＠日本ラショナルソフトウェアです.

何か難しい(@@;;;

ということで, ruby-devに引っ越します(しょう).

In [ruby-list :8388 ] the message: "[ruby-list:8388] Re: what type are
true and false ", on Jun/17 14:26(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>|    eval "foo = 0"
>|    puts foo
--
>|    eval "foo = 0"
>|    eval "puts foo"
>|
>|はOKというのも... 直観に反していますね.
>
>まあ，直感に反していないというつもりもないんですが，他のとこ
>ろとの兼ね合いで次善だと考えています．現在のrubyの仕様と矛盾
>が無い方法でこの挙動を直感に合わせるのは難しいでしょう．

えーと. コンパイル時ではなくて動的にローカル変数を決めるのは, 

* 実装が難しい
* 静的に解釈する方が良い仕様

どっち?

>たぶん，ここを直感に合わせるとirbのようなプログラムが全滅す
>るのではないかと思います．

# それも良くないなぁ(^^;;;

>これは…バグと呼ぶにはかわいそうな気がします(私が^^;;;)．
>どっちかっていうと仕様変更(ていうかバグフィックス)でしょう．

うぅ. そうなんですか(?_?

>まず関数版は
>
>|def zz
>|  eval "foo = 0"               # eval内で通常ローカル変数fooの宣言
>|  (proc {foo = 10}).call       # 静的な構文上はここが初出
>                                # ブロック中なのでブロック内ローカル変数
>|  eval "p foo"                 # 通常ローカル変数の参照
>|end
>|zz
>
>という動作をしていますが，proc版は
>
>|proc {
>|  eval "foo = 0"               # ブロック内ローカル変数fooの宣言
>|  (proc {foo = 10}).call       # ブロック中なのでブロック内ローカル変数
>|  eval "p foo"                 # ブロック内ローカル変数fooの参照
>|}.call
>
>となります．つまり，関数版とproc版で外側のfooの変数としての
>種別が違うのが原因です．以前のものではeval内で宣言されたロー
>カル変数は問答無用で通常ローカル変数になってました．evalは
>「その場所にその文があったと同じように動作する」というのが目
>標ですから，私は以前の動作の方がバグであったと思います．

何か違うところに着目しているような....

えーと. 

  (proc {foo = 10}).call       # ブロック中なのでブロック内ローカル変数

これは, やはり静的な構文上で初出かつ入れこのブロック中なのでその入れこ
のブロックのローカル変数になるのでは?

そうすると, 関数の場合と同じ動作になるんですが?

>が，これがややこしいことを否定するつもりはないので，よりよい
>挙動の定義があれば(それが現状を大きく崩すものでなければ)そち
>らを採用しても良いと思っています．

まだ良く分かっていないらしい?

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: [e-mail] <<---