[ruby-dev:2906] Re: what type are true and false

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

In [ruby-dev :2903 ] the message: "[ruby-dev:2903] Re: what type are
true and false ", on Jun/18 11:29(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>  (1) 以下のコードが不自然
>
>        eval "foo = 1"
>        foo     # => NameError
>
>  (2) 以下のコードが不自然
>
>        proc{
>          eval "foo = 1"
>          proc {foo = 10}.call
>          eval "foo" # => 10
>        }.call

そうなんですね. これってお互いに相反していいる部分があるので, 両方を成
立することはできないですね.

>で，1の方は
>
>        evalがあった場合にはそれを優先する
>
>ことを求めています．つまり，静的のプログラム上には登場しなく
>ても，evalで評価されたならローカル変数として認めてくれと言う
>ことですね．これによるメリットは
>
>  * evalによるローカル変数のずれがなくなる
>  * irbの挙動と一致する

まあ, irbのことはさておき.

>です．デメリットは
>
>  * 以下のコードが理解しにくくなる
>
>        $str = "foo = 25"
>
>        # 別の何処か
>        eval $str
>        foo     # これは変数かメソッドか
>
>    現状なら局所的に見るだけでこれがメソッド呼び出しであるこ
>    とを保証できます．

うーん. それはいえますね. 今の仕様が良いような気がしてきました. 

# μ-lispじゃないけどわけわかな動作の元になりそう(^^;;; 
# 懐かし過ぎる話題だ(^^;;;

>  * 実行コストが若干上がる
>    実はもうテスト的に実装してみました．

# しかし相変わらず素早い(^^;;;

>デメリットのうち後者は些細なものなので，さしたる問題は無いの
>ですが，前者は若干不満です．もっともirbとの挙動が揃うという
>のはかなり重要なのですが．

irbというか逐次実行のイメージってことですよね. 

``これは, ローカル変数の決定は静的に行なわれる.''という方針が明確にす
ればそれで良いと思います.

>さて，2番目の問題の方は
>        evalがあっても場合プログラムの字面を優先する
>ポリシーを求めています．ということは1とは相反しますね．
>同時に達成することは出来そうにありません．(- -);

ですね.

>これによるメリットは
>  * とりあえず関数版と同じ動作を実現できる
>  * evalのあるなしがローカル変数のスコープに影響しない
>というものがあります．私は個人的にはevalに渡す文字列の内容を
>見なくても変数のスコープが決定できることが好みなので，こっち
>を採用したい気持ちはあります．

私もこっちをやった方が良いという気になっています. というか, 元々の方針
とずれていると思っていたんですけどね.

># もっともevalによる影響を無効化はできないので，程度問題では
># ありますが．

後どんな場合があるんですかね?

>こちらもテスト的に実装してみました．こちらは実行コストはかか
>りません．むしろ，若干処理が減ります．

>こちらのデメリットは，1と矛盾することから
>  * irbとの挙動の違いを克服できない
>ということでしょうか．

irbのFAQに入れておきます(^^;;; 

こういう時は, begin...endを明示的に入れて, バッチ実行してねって感じ. 

# でも, 問題がありました最後のPS参照.

>いずれにしても今のrubyの挙動は通常ローカル変数はevalによって
>スコープの影響を受けず，ブロック内ローカル変数はevalによる影
>響を受けるという中途半端な仕様ですから，1か2か「どちらか」を
>採用する必要があるようです．

ですね. 現在は中途半端ですよね. 

私も2に1票です.

>どちらも実装しちゃいましたので，どっちでも手間は同じなんです
>がね．

# うーん. 素晴らしい....

PS.
現在ですと, 以下の2つの動作が違っているので, それも一致するのを確認し
てからリリースしてね.

eval '
begin
   eval "foo2 = 0"
   (proc {foo2 = 10}).call
   eval "p foo2"
end
'

p = proc{proc{}}.call

eval '
begin
   eval "foo3 = 0"
   (proc {foo3 = 10}).call
   eval "p foo3"
end
', p

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