ruby-dev

まつもと ゆきひろです

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

|>複数のトップレベルはインタラクティブな言語一般の機能ではない
|>でしょう．すくなくともelispには複数のトップレベルはないよう
|>に思います．
|
|ほんとだ... 確かにelispにはないですね(__;;;
|
|# elispって動的スコープだから, scratchでsetqとかすると思わぬ副作用が出
|# ちゃうんですね(@@;;; まあ, 汎用言語じゃないからいいのかもしれないけ
|# ど...

あー，普通は「インタラクティブでも独立した環境は必須じゃない
んだ」という結論がでると思うんですけど．^^;;;

そもそも「そういうのが実現できると嬉しい」というのは分かるん
ですけど，「そういうのが実現できないといけない」ではない以上
変更に慎重になるのは当然だと思います．

# ちなみに動的スコープはこの問題に関係ないです．

|>bindingがスコープに似ているから，あるいはスコープを持ってい
|>るからスコープとしての働きを追加するというのは少々乱暴な印象
|>があります．
|
|えーと, 新たなスコープを作ってしまうということが気になっているんですね?

スコープの定義が不明確ですが，私の主張の根幹は「バインディン
グを合成しても構わないのか」というものです．また，「合成して
も構わないとしてその状態はどのように指定されるべきか」が明確
でないと採用できないと思ってます．

|>石塚さんが求めていらっしゃるものは上記の定義のうち，どちらか
|>といえばバインディングに近いですが，ある時点のものではなく合
|>成したコンテキストであるという点が引っかかっています．
|
|うーん. それなりの機能を持ったスコープを作る構文orイテレータでも良いん
|ですけどね...

その場合には「それなりの機能」を定義して下さいよお．
# 『言うだけは簡単』は勘弁して欲しい．

あと，実装の話をするとローカル変数はコンパイル時に計算される
部分が多いので動的に変更するのはすっごく大変です．evalのよう
なコンパイル前に指定するのは不可能ではないでしょうが，イテレー
タブロックの範囲内だけスコープを変更するなどと言うのはほとん
ど不可能でしょう．パーザを再実装するくらい大変です．

構文は…いまさら構文を追加するのは避けたい…．

|もし, 全然指定
|しなくても良くできるなら, ローカル変数だけが独立な(サブ)バインディング
|を合成しても良いかなと思います.
|
|  binding.subbinding

うーん，それは石塚さんのニーズは満たすでしょうね．でもその代
償は現時点では計算できないので採用に抵抗があるわけです．

つまり，石塚さんにとってはやりたいことができるかどうかが問題
なのですが，私にとってはそれによってどうモデルが変るか，どう
実装するか，ドキュメントのどの部分を書き換える必要があるか，
その概念を説明する時どういう目に遭うかなどなどなどの問題があ
るわけですよ．

メソッド一個定義して終り，くらいだと簡単にコストが計算できる
んですけど，今回のような変更の場合は先が読めないのです．ご理
解下さい．

|ところで, いま, 関数を使ってやってみているんですけど, 問題に気づきまし
|た.

うーん，やっぱり無理して独立したバインディングを用意しようと
してるからではないかという気がして来ました．なんか場当たり的
な対応をするのではなく，もっと根本から考え直した方が良いよう
な気がします．

# 考え直すべき人が誰か，と言う点は明示しないことにします ^^;;;

|privateとして定義する何かうまい手がありますかね?   

あ，そうそう．scopeにはこれから定義するメソッドがprivateかど
うかっていう情報も入ってるんでした．うーむ．

たとえば同じ環境に見えて独立してるってのをすっぱり諦めて，モ
ジュール(あるいはクラス)単位で別のスコープを見せるってのは？
言語のモデルとあまり離れていないので，実装はずっと楽だと思い
ますよ．private/publicの辺りで修正は必要になりそうだけど．

                                まつもと ゆきひろ /:|)

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:2055] Re: [Req] Binding.new

Thread

In This Thread

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