From: matz@... (Yukihiro Matsumoto)
Date: 1998-04-03T13:51:45+09:00
Subject: [ruby-dev:2039] Re: [Req] Binding.new

まつもと ゆきひろです

In message "[ruby-dev:2038] Re: [Req] Binding.new"
    on 98/04/03, 石塚圭樹 <keiju@rational.com> writes:

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

|>どーしても新しいスコープを導入する機能が欲しいんですね．
|
|どーしてもというわけでもないんですが, 直接的な要望としては, インタラク
|ティブな言語(elispやsmalltal)では, top levelが複数あるわけですけど,
|rubyでもそれを直接サポートしてくれる機能が欲しいわけです. で, それなら
|Bindingが直接できても良いかと...

複数のトップレベルはインタラクティブな言語一般の機能ではない
でしょう．すくなくともelispには複数のトップレベルはないよう
に思います．

|bindingとscopeの違いがよく分かっていないのかもしれません. binding()は
|その時のscopeと変数の束縛の状態を持っているものではないんですか?

bindingはある時点でのコンテキストとでも呼ぶべきもので確かに
スコープも持っています(他にも色々持っています)．が，もともと
の目的も実装も「ある時点での状態(コンテキスト)の切り出し」で
すから，新しいコンテキストの合成というのは新しい概念になるわ
けです．

ですから，この場合新たに合成できる「なにか」はどのようなもの
であるかを考察して，それをbindingと呼ぶならbindingに新しい定
義を与える必要があると思うわけです．

bindingがスコープに似ているから，あるいはスコープを持ってい
るからスコープとしての働きを追加するというのは少々乱暴な印象
があります．

|一応考えてあるつもりなんですけど... 新たにスコープが作られるのは, 以下
|のパターンだけですよね?
|
|  class Fooの中のbindingは, binding.subbinding(Foo, Foo)
|  class <<Foo中のbindingは, binding.subbinding(Fooの特異クラス, Fooの特異クラス)
|  foo.func()中のbindingは,  binding.subbinding(foo.type, foo) 
|  load 中のbindingは,       TOPLEVEL_BINDIG.subbinding(Object, main)
|
|だから, 2つのパラメータさえ指定できれば, rubyの静的な構文から生成でき
|るスコープを尽くしていると思ったのです.   

確かにスコープを生成するのは4パターンだけですが，スコープに
はクラス/モジュール定義のネスト関係も含まれてます．これは無
視しますか？

そもそも，少なくとも現在のrubyの用語では

  スコープ

    ローカル変数の状態とクラス/モジュール定義のネスト関係
  
  バインディング

    スコープ，self，呼び出しフレーム，イテレータブロックなど
    などなどを含むある時点でのコンテキスト

です．ですから，ruby用語におけるスコープでは石塚さんのニーズ
を満たさないと思います．

石塚さんが求めていらっしゃるものは上記の定義のうち，どちらか
といえばバインディングに近いですが，ある時点のものではなく合
成したコンテキストであるという点が引っかかっています．

んで，バインディングを合成する場合，いろいろある状態のうち，
selfとthe_classだけ指定するというのは，なんとなく今回のニー
ズがそうだからという理由であるように思えるのです．

とはいえ沢山ある状態をいちいち指定して合成するってのもなんか
大変な話だと思いますし，ネスト状態のようにどうやって指定した
もんだか迷うものもあります．
                                まつもと ゆきひろ /:|)