ruby-dev

まつもと ゆきひろです

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だけ指定するというのは，なんとなく今回のニー
ズがそうだからという理由であるように思えるのです．

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

Thread

Prev Next

In This Thread

Prev Next

[#2011] registration — NAGAI Hidetoshi <nagai@...>

[#2023] SSL ext library — Eiji-usagi-MATSUmoto <ematsu@...>

[#2026] Re: [ruby-list:7298] Re: cmp operator — NAGAI Hidetoshi <nagai@...>

[#2043] [Bug?] Thread.exit — keiju@... (Keiju ISHITSUKA)

[#2056] Re: [ruby-list:7298] Re: cmp operator — NAGAI Hidetoshi <nagai@...>

[#2063] [?] eval "def foo3;end" of instance_eval("binding") — keiju@... (Keiju ISHITSUKA)

[#2064] [Bug] Thread#value — keiju@... (Keiju ISHITSUKA)

[#2097] [Req] require :foo — shugo@... (Shugo Maeda)

[#2100] [Proposal] Math#min/Math#max — shugo@... (Shugo Maeda)

[#2102] Email Millions with FREE REGISTERED Stealth !!! — 26348868@...

[#2149] Re: new coerce — Toyofuku <toyofuku@...>

[#2152] Re: experimental release 1.1b9_07 — matz@... (Yukihiro Matsumoto)

[#2154] @xxx = xxx in initialize — Kazunori NISHI <kazunori@...>

[#2201] Re: new coerce — toyofuku@...

[#2210] Re: new coerce — toyofuku@...

[#2211] experimental release 1.1b9_09 — matz@... (Yukihiro Matsumoto)

[#2215] Dir#new etc.... — shugo@... (Shugo Maeda)

[#2217] Re: [ruby-list:7406] Re: string replace — shugo@... (Shugo Maeda)

[#2226] method to print self — matz@... (Yukihiro Matsumoto)

[#2232] Re: new coerce — toyofuku@...

[#2233] subseq — Tadayoshi Funaba <tadf@...>

[#2238] [Req] stack level too deep (fatal) — keiju@... (Keiju ISHITSUKA)

[#2239] [Problem] thread and signal and sleep — keiju@... (Keiju ISHITSUKA)

[#2243] sub for sjis — KANEKO Naoshi <wbs01621@...>

[#2244] miss mail — KANEKO Naoshi <wbs01621@...>

[#2255] Registration & initialize method in subclass of builtin class — Inaba Hiroto <inaba@...>

[#2257] Re: [ruby-list:7407] Re: string replace — Inaba Hiroto <inaba@...>

[#2285] -X and /dev/null — WATANABE Hirofumi <watanabe@...>

[#2289] bug? %// and multiple while modifier — Inaba Hiroto <inaba@...>

[#2305] MetaDelegator — keiju@... (Keiju ISHITSUKA)

[#2309] Re: method to print self — Makoto Nukui <gnue@...>

[#2313] experimental release 1.1b9_10 — matz@... (Yukihiro Matsumoto)

[#2318] q , qq vs. %q, %Q — Inaba Hiroto <inaba@...>

[#2320] FTP#mtime — shugo@... (Shugo Maeda)

[#2338] readline — Masao Kanemitsu <masao-k@...>

[#2378] experimental release 1.1b9_11 — matz@... (Yukihiro Matsumoto)

[#2379] readline 1.7 — Tadayoshi Funaba <tadf@...>

[#2396] Re: How to write Perl's `@a[@b] = @c' in ruby — matz@... (Yukihiro Matsumoto)

[#2407] [Bug or Spec?] extend and include — keiju@... (Keiju ISHITSUKA)

[#2424] pack/unpack 'P'/'p' — WATANABE Hirofumi <eban@...>

[#2426] Re: [ruby-list:7608] Re: How to write Perl's `@a[@b] = @c' in ruby — Inaba Hiroto <inaba@...>

[#2436] Re: [ruby-list:7649] Re: new irb release — keiju@... (石塚圭樹 )

[#2443] experimental release 1.1b9_12 — matz@... (Yukihiro Matsumoto)

[#2449] [Req] Array#rindex — keiju@... (Keiju ISHITSUKA)

[#2463] experimental release ruby 1.1b9_13 — matz@... (Yukihiro Matsumoto)

[#2465] — Inaba Hiroto <inaba@...>

[#2470] Re: [ruby-list:7709] Re: Out of Range — WATANABE Tetsuya <tetsu@...>

[#2471] experimental release ruby 1.1b9_14 — matz@... (Yukihiro Matsumoto)

[#2472] undef HAVE_RANDOM in case of Linux (with libc5) — Kazunori NISHI <kazunori@...>

[#2477] sample/trojan.rb — WATANABE Tetsuya <tetsu@...>

[#2488] Win95's BUG? — Shin-ichiro HARA <sinara@...>

[#2491] sample/from.rb — WATANABE Tetsuya <tetsu@...>

[#2501] Re: Win95's BUG? — 助田 雅紀 <masaki.suketa@...>

[#2503] library for Tcl/Tk ext-package — NAGAI Hidetoshi <nagai@...>

[#2510] win32 CR code — KANEKO Naoshi <wbs01621@...>

[#2519] tcltklib ip_invoke — Takahiro Maebashi <maebashi@...>

[#2539] experimental release ruby 1.1b9_16 — matz@... (Yukihiro Matsumoto)

[#2542] `-r debug' and `-e' with multiline — Inaba Hiroto <inaba@...>

[#2546] delegate.rb — WATANABE Tetsuya <tetsu@...>

[ruby-dev:2039] Re: [Req] Binding.new

Thread

In This Thread

[#2501] Re: Win95's BUG? — 助田　雅紀 <masaki.suketa@...>