ruby-list

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

In [ruby-list:35645] the message: "[ruby-list:35645] Re:
scope-in-state [Re: new mathn [Re: Rational#to_int ← 
String#center]]", on Jul/26 17:04(JST) Shin-ichiro HARA writes:

>原です。
>すばらしー、大傑作ではないでしょうか。

ありがとうございます.

>これで、多くの問題がうやむやに、、、いや、解決できますね。(^^

うーむ... 

>私も似たようなことを考えていたんですが、スレッドを考えると難しくて
>やめてしまいました。
>
>思いつくままに意見を：
>
> >モジュールSは状態を表しているつもりです.  ここで, S::FooはFooに追加さ
> >れるモジュール, S::BarはBarに追加されるモジュールです. 一度に複数のク
> >ラスの振る舞いを変えることができないと意味がないので, こんな感じになり
> >ました. 上記の場合 S::Mod1::Mod2::Mod3は Sを取ったもの, つまり
> >Mod1::Mod2::Mod3に追加されます.
>
>複数のモジュールを同時に考えると便利ではあるけれど、そのために使
>い方が、ちょっと手間が必要になっていないかなあ。ネストができるの
>だから素朴に

(中略)

>みたいなインターフェースだと見た目がいいかも。しかし、Foo.in_state 
>が Foo の状態を替えるところが気持ち悪いかな。

で, 原さんのimport-moduleなわけなんですね? この件に付いては別メイルで.

> >1. 上記のような単純な場合はわかりやすいが, ベースのクラスが継承したり
> >   includeしていたりすると, どう動作するのか想像しがたい.
>
> >1.は, 状態スコープで定義されたものが優先されるはずです. 概念的にはベー
> >スクラスで定義されたメソッドを状態に応じて変えるので, ベースクラスのメ
> >ソッドと同レベルと判断したからです.
>
>include されたモジュールのメソッドに関してもすげ替えができるようになっ
>たらうれしいなあ。つまり、

(中略)

>みたいに。

うーん. これはモジュールの入れ替えですよね. これはきっと実現できなさそ
う... これと同値のものとして, 以下のならできます.

module M0
   def foo; 0; end
end

class Foo
   include M0
end

module S
  module M0
    def foo; 1; end
  end
end

ScopeS = ScopeInState.new(S)

class Foo             # <- ここがみそ
   include M0
end

foo = Foo.new
p foo.foo #=> 0
ScopeS.scope_in do
   p foo.foo #=> 1
end
p foo.foo #=> 0

ただ... 『ここがみそ』のところを実行しないとだめなんですが...
ScopeInState.newでM0の継承列が変更されるのですが, rubyではそれがFooに
伝達されませんので...

ただ, これは解決できなくはないので解決できると思うのですが... 

# それともruby-1.7では解決されましたっけ? 昔MLで話題になったと思います
# が, 結果を忘れてしまいました(^^;;;

> >2. 状態スコープのネスティングができるようになっているが, そのため実装
> >   が複雑&&実行コストがかかっている
>
>このモジュールは整数の割り算とか、頻繁に実行される基礎的なメソッ
>ドにも使われる可能性が大なわけですよね。だから、実行コストの問題
>は、実験してみないとわからないけど、非常に大きいかもしれませんね。
>
>scope の入り口と出口でメソッド書き換えるのが、多分そのメソッドの
>実行コストは一番小さいけど、そうするとマルチスレッドと両立できな
>いですよね。ただ、大きなコストの差があるなら、そういうバージョン
>も欲しいです。

で, 原さんのimport-moduleの実装になるわけですか... 仕様と実装は分けて
かなえるべきだとおもいますが, 原さんの実装は参考になりそうなところも多
いなと感じました. 

__
..............................石塚 圭樹＠日本ラショナルソフトウェア...
----------------------------------->> e-mail: keiju@rational.com <<---

Thread

Prev Next

In This Thread

Prev Next

[#35685] Exerb 2.0.0 動きません — AOKI Yoshihiro <aoki@...>

[#35688] サブクラスのオブジェクト生成時に、スーパークラスの初期化を行うには ? — Onodera Takafumi <onodera-tak@...>

[#35690] Ruby/SDL がうまく動きません — Mitsuhiko_Tomomi <mikkun_ota@...>

[#35713] Selection IPv4/IPv6 at TCPSocket — NISHI Takao <zophos@...9.com>

[#35715] すべてのメソッドを（最小コストで）フックしたい — "井上 浩一" <kyoui32@...>

[#35716] すべてのメソッドを最小コストでフックしたい。 — "井上 浩一" <kyoui32@...>

[#35718] Re: すべてのメソッドを最小コストでフックしたい。 — "井上 浩一" <kyoui32@...>

[#35722] パターンマッチした値を保持する変数は — goto@...

[#35729] SMTP サーバクラス — とみたまさひろ <tommy@...>

[#35730] how to share some value through parent class's method — YANAGAWA Kazuhisa <kjana@...4lab.to>

[#35733] tail recursion elimination — Takaaki Tateishi <ttate@...>

[#35737] Win32 環境での PStore の動かし方 — fukumit <fukumit@...>

[#35743] FortranArray, yet another handler of array — NISHIMATSU Takeshi <t-nissie@...>

[#35745] Ruby vs. Expect — T_A_K_E <koichi.takehara@...>

[#35748] DBD::OCI8 based on Ruby/OCI8 — KUBO Takehiro <kubo@...>

[#35754] [ANN] SWIG 1.3.14 リリース — Shibukawa Yoshiki <yoshiki@...>

[#35759] Bignum fast multiplication — IKEGAMI Daisuke <daisu-ik@...>

[#35769] [ANN] SWIG-Ruby ドキュメント翻訳 — Shibukawa Yoshiki <yoshiki@...>

[#35770] cgi.rb の form — rio-t@...

[#35772] Unsecure world writeable dirの警告 — "井上 浩一" <kyoui32@...>

[#35789] multipart な CGI を速くしたい — Takashi Kanai <kanai@...4u.or.jp>

[#35792] "self = / ー /" でエラー — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#35795] Re: "self = / ー /" でエラー — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#35799] Re: "self = / ー /" でエラー — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#35810] [ANN] RubyCocoa 0.2.7 — FUJIMOTO Hisakuni <hisa@...>

[#35811] 祝 1.7.3 But cast_256.so Segmentaation fault — "Inoue" <rubyist@...1.117.ne.jp>

[#35813] — NAWATE Masahiko <agul@...>

[#35816] [ANN] irbsh-0.8.0 — rubikitch <rubikitch@...>

[#35817] CGI::pretty — rio-t@...

[#35821] [ANN] RDE0.9.7.0 — sakazuki <QZS01353@...>

[#35822] profile.rb の使い方 — rio-t@...

[#35823] [Q]UNIX command in Ruby — Masaaki Sakano <mas@...>

[#35829] cygwin 版 ruby で ARGV に日本語 — rio-t@...

[ruby-list:35706] Re: scope-in-state [Re: new mathn [Re: Rational#to_int ~ String#center]]

Thread

In This Thread

[#35715] すべてのメソッドを（最小コストで）フックしたい — "井上浩一" <kyoui32@...>

[#35716] すべてのメソッドを最小コストでフックしたい。 — "井上浩一" <kyoui32@...>

[#35718] Re: すべてのメソッドを最小コストでフックしたい。 — "井上浩一" <kyoui32@...>

[#35772] Unsecure world writeable dirの警告 — "井上浩一" <kyoui32@...>