ruby-list

中島@ブレーンです。
 
> 関係者です。

直々にコメントをいただけるとは! ありがとうございます。

# 自分が手さぐりでやっていたこと(に多少なりとも近くて、さらに先を行って
# いること)を、きちんと整理して定式化していただけたので、あの論文は私に
# とってはすごくありがたかったです。自分でもメリット・デメリットを整理で
# きてきたし、Walrusの実装を人に説明する時も、あの論文のおかげで楽ができ
# ると思います。

> > 例えば、親クラスPと子クラスCがあったとします。両者に何かメソッドを追加す
> > る場合、Pを継承してP2、Cを継承してC2を作成し、P2,C2に新しいメソッドを追
> > 加することになります。
> > 
> >   P  →  C                  →: is-a関係を表現する継承
> >  ↓     ↓                  ↓: 差分を実装するための継承
> >  P2     C2         
> > 
> > この図の↓で表わされている関係を別のメカニズムで表現しようと言うのが、
> > "差分モジュール"という考え方だと思います。
> 
> 普通の継承でやると、既存のコードの中に埋め込まれている P や C への参照
> で問題が発生するんですよねぇ。普通の OOP では factory method でどうに
> かするんでしょうが。
> 
> # Ruby だとあまり問題になりませんが、静的な型を持っている言語の場合に
> # は P2 が C2 の祖先でないことも問題になります。

私はkind_of?を多用していたので、P2がC2の祖先でないことも実際に問題でした。
それも"差分モジュール"もどきを使った理由のひとつです。

モデル構築におけるis-a関係を表現するための仕様の継承と、実装を共有する手
段としての継承を区別、整理することは重要だと思います。その点からも"差分
モジュール"という考え方には魅力があると思います。

> > 上記のもどき手法で、複雑な差分モジュールの継承関係(ダイヤモンド継承)も可
> > 能だと思いますが、名前の衝突が起きると悲惨なバグになります。
> 
> まつもとさんがたまに話に出す、selector namespace の話が実現されると、
> どうにかなるんじゃないですかね。たぶん。

selector namespaceってそういうことだったんですね。ようやく少し理解できま
した。これは他にも応用範囲が広いし、Rubyらしいと思います。実現したらうれ
しいですね。

> > ・ Rubyでこのような"差分モジュール"を使っている例は他にありますか？

> ちょっと lib 以下を grep class すると、complex.rb が似通ったことをして
> ますね。Numeric 以下のクラスを複素数として扱えるようにするメソッドを追
> 加しています。

そう言われて見てみたら、jcode.rbも似たことをしてますね。たださんもおっしゃっ
てますが、Rubyでは案外自然な手法かもしれませんね。

> > ・ 名前の衝突を避けるよい方法はないでしょうか？
> 
> 現時点では、確実なのは prefix をつけるしかないんじゃないでしょうか。
> 
> 充分に適切な名前をつければ衝突する可能性はかなり低いと思うんですが、確
> 実とはいえませんからねぇ。

そうですね。多少のリスクはあっても、名前にこだわることで対応するのが
Rubyらしいような気もします。メソッドの名前をちゃんと命名していれば、意図
しない名前の衝突は実際上問題にならないほど減らせるかもしれませんね。

> > ・ 実行時コスト的な観点から、不要なメソッドを大量にloadする負荷について
> >    どうなのか？
> 
> 全部 load せずに(個々のアプリケーションについて)必要な奴だけ require
> すればむしろ load することになるもの減るのでは?

これは説明不足でした。"差分モジュール"方式でひとつのclassの定義を機能別
にファイルに分割した方が、classの定義を1ファイルにまとめるより、実行時コ
ストが小さいのは当然です。

私が言いたかったのは、「実行時コストの差が"差分モジュール"方式を採用する
(ひとつの)理由となるほど意味があることなのかどうか」ということです。

そしてこれを書きながら「"差分モジュール"方式は苦しまぎれの変則的なテクニッ
クで王道とは言えないからできれば避けたい。使うなら何らかの言い訳がほしい」
というような感覚が自分の中にあることに気がつきました。

そんな卑屈にならずに堂々と使っちゃっていいんですね（笑）

-- 
「stableでなければ生きていけない。unstableでなければ生きてる意味がない」
中島 拓 (株)ブレーン 研究部 (tnakajima@brain-tokyo.jp)
http://www.brain-tokyo.jp/~research/koutetu/

Thread

Prev Next

In This Thread

Prev Next

[#33152] ruby が core を吐く — 堀川 久 <vzw00011@...>

[#33156] ライブラリ中の DATA — Kazuhiro NISHIYAMA <zn@...>

[#33169] a cool Ruby script. — Yuji Asakawa <namu@...>

[#33171] Fw: ANNOUNCE: Inline::Ruby 0.01-pre2 — Tatsuhiko Miyagawa <miyagawa@...>

[#33172] [ANN] Ruby/zlib 0.5.0-pre1 — UENO Katsuhiro <unnie@...>

[#33175] [ANN] irbsh-0.5.2 — rubikitch <rubikitch@...>

[#33176] ruby から vi の呼び出し — masami kumazawa <kumazawa@...>

[#33182] RegexpError — Masaki Suketa <masaki.suketa@...>

[#33183] [ANN] TMail 0.10 — Minero Aoki <aamine@...>

[#33185] rd-mode: rd-intelligent-newline — "Shirai,Kaoru" <shirai@...1jp.com>

[#33193] multipart 切り出しライブラリ — encore ann <i@...>

[#33204] [ANN] HTML/FillInForm 0.21 — IKEBE Tomohiro <ikebe@...>

[#33208] Method passing block — sinara@...

[#33209] [ANN] setup.rb 3.1.0 — Minero Aoki <aamine@...>

[#33215] [ANN] RubyCocoa 0.2.1 — FUJIMOTO Hisakuni <hisa@...>

[#33217] setup.rb 3.1.0 — Minero Aoki <aamine@...>

[#33228] [ANN] RubyCocoa 0.2.2 — FUJIMOTO Hisakuni <hisa@...>

[#33229] ruby のインストールがうまくいかない — satoshi SAKAI <gau_sato@...9.dion.ne.jp>

[#33234] DB のカラム名をもった各行のオブジェクトへ向けて — encore ann <i@...>

[#33235] " 差分ベースモジュール " in Ruby — Taku Nakajima <tnakajima@...>

[#33263] RDtool インストールでの疑問 — satoshi SAKAI <gau_sato@...9.dion.ne.jp>

[#33284] [ANN] irbsh-0.5.3 — rubikitch <rubikitch@...>

[#33288] HTML から BODY を抜き出す — m_seki@...

[#33294] [PATCH] rdtool on ruby 1.4(.6) — Minero Aoki <aamine@...>

[#33300] 日付順のソートについて — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33305] Re: 日付順のソートについて — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33309] Re: 日付順のソートについて — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33311] Re: 日付順のソートについて — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33313] Re: 日付順のソートについて — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33318] ［質問］正規表現について — keiichi matsunaga <ma2@...>

[#33326] [ 質問 ] クラスメソッドのモジュールによる実現方法 — Hiroyuki Komatsu <komatsu@...>

[#33335] [ANN] rdtool easy install package — Minero Aoki <aamine@...>

[#33342] waitpid2 が返す終了ステータス — みかみまさと <kofu@...>

[#33346] IPSocket.getaddress — "Sadayuki Sakamoto" <sakacom@...>

[#33355] setup.rb for static linkage — HGF01572@...

[#33356] about pty and expect on 1.7.x — YANAGAWA Kazuhisa <kjana@...4lab.to>

[#33358] $KCODE の影響範囲 — Masatoshi SEKI <m_seki@...>

[#33367] [ANN] rb2exe-preview1 — Yuya Kato <yuya@4th.to>

[#33381] [ANN] WString 0.0.8 — takuma ozawa <metal@...>

[#33392] Re: [ANN] rb2exe-preview1 — Nagai T <idonagai@...>

[#33397] Re: [ANN] rb2exe-preview1 — Nagai T <idonagai@...>

[#33398] ruby-mode のインデント不具合 (} + の次の行) — MALTA Koji <malta@...>

[#33399] Re: [ANN] rb2exe-preview1 — Nagai T <idonagai@...>

[#33412] Ruby/Becky! 0.9.7.1 — "T.Shimomura" <redbugml@...>

[#33413] lack of the parameter type of rb_gc_mark() — Takaaki Tateishi <ttate@...>

[#33415] add-log function for ruby-mode.el — TAKAHASHI Kaoru <kaoru@...>

[#33416] No such file to load -- dbm — satoshi SAKAI <gau_sato@...9.dion.ne.jp>

[#33427] CGI でキャッシュ — Fujikawa Norihide <ruby@...>

[#33431] [ANN]rdindex-1.1.7 — rubikitch <rubikitch@...>

[#33443] libpgsql-ruby-0.6.5 で Linux+PostgreSQL+Ruby について — "井上 浩一" <kyoui32@...>

[#33459] warning silence patch for regex.c — NOKUBI Takatsugu <knok@...>

[#33462] Re: Mysql/Ruby のコンパイル — "井上 浩一" <kyoui32@...>

[#33469] Ruby/Becky! 0.9.7.2 — "T.Shimomura" <redbugml@...>

[#33472] "The Ruby Way" — sinara@...

[#33477] about nest class — sheepman <sheepman@...>

[#33491] ファイル名を小文字に — 大道 裕 <daidou@...2.so-net.ne.jp>

[#33494] Re: ファイル名を小文字に — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33515] Media Watch (月刊 ASCII 2 月号) — matz@... (Yukihiro Matsumoto)

[#33517] [BUG] Can't compile ruby on Solaris2.6 — IWAMURO Motonori <iwa@...>

[#33519] Re: libpgsql-ruby-0.6.5 で Linux+PostgreSQL+Ruby について — "井上 浩一" <kyoui32@...>

[#33520] IP に関するライブラリ cygwin & linux — "井上 浩一" <kyoui32@...>

[#33535] broken symbolic link and File::mtime — Go Nakagawa <nakagawa@...>

[#33538] Re: [rubyist:1056] Re: Re: 文字列→整数変換 (Re: 次期リリースに向けて今後) — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#33547] racc fails on alpha-freebsd — Minero Aoki <aamine@...>

[#33556] Cgi::session in eRuby — kyosuke kiyooka <k@7ruby.com>

[#33570] NHK スペシャル「変革の世紀」 — rubiben <ozaki@...>

[#33605] ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33612] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33613] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33620] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33626] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33627] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33642] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33652] make tmail loading faster — Minero Aoki <aamine@...>

[#33653] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33655] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33656] Re: ある文字列以外の部分にマッチさせる方法 — "Tatsuaki Nagai" <Tatsuaki_Nagai@...>

[#33659] [ANN]MySQL/Ruby Windows package — "TAMURA.KENICHI" <sgs02516@...>

[#33664] rd2 コマンド（ RDtool ）が動かない。 — Seiji Yoneda <yoneda@...>

[#33689] Windows をリブートするスクリプトはありますか？。 — Take_tk <ggb03124@...>

[#33152] ruby が core を吐く — 堀川久 <vzw00011@...>

[#33443] libpgsql-ruby-0.6.5 で Linux+PostgreSQL+Ruby について — "井上浩一" <kyoui32@...>

[#33462] Re: Mysql/Ruby のコンパイル — "井上浩一" <kyoui32@...>

[#33491] ファイル名を小文字に — 大道裕 <daidou@...2.so-net.ne.jp>

[#33519] Re: libpgsql-ruby-0.6.5 で Linux+PostgreSQL+Ruby について — "井上浩一" <kyoui32@...>

[#33520] IP に関するライブラリ cygwin & linux — "井上浩一" <kyoui32@...>

[#33695] 自作のクラスのテストをしていますが、うまく動作しません。 — 岩崎弘孝 <IH000667@...>

[#33698] Re: 自作のクラスのテストをしていますが、うまく動作しません。 — 岩崎弘孝 <IH000667@...>