[ruby-list:3349] Re: meta programming features

けいじゅ＠今はフリー(^^;;;です. 

In [ruby-list :03346 ] the message: "[ruby-list:3346] Re: meta
programming features ", on Jul/15 03:12(JST) [e-mail]
(Yukihiro Matsumoto) writes:

>|スーパークラスはすでにあるでしょ?
>実はバグってました．^^;;;

げげっ!!

>|名前って何?
>
>そういう機能を提供するメソッド名です．いつも機能に名前をつけ
>るのが一番の問題で．

なるなる. 一瞬そうかなとも思ったんですけどね.

>あるクラスの機能はそのスーパークラスとインクルードされている
>モジュールで決まるんですが，rubyにはundefがあったりするんで，
>あるクラスにinherit/includeされているクラスやモジュールの優
>先順位つきリストが必要になる場合があるんですね．

なるほどぉ... 追加していけばいいってわけに行きませんからね.

>そうかもしれませんねえ．デフォルトではそのクラスの範囲内で，
>フラグを指定すると遡ってリストする感じでしょうか．

ですね. 

あと, それとは別に, 優先順位付でクラスを遡るイテレータみたいなものもあ
るとよいかも知れませんね.

>|の場合, 変数varはすでに存在しているクラスでなくてはならないとすれば良
>|くないですか?
>
>「だから」がよくわかんなかったんですが，

トップレベルかクラス定義のトップレベルでしか定数は定義できないから, と
いう意味でした.

>  定数の場合は今まで通り
>
>    * 既に定義されている場合にはその機能の拡張
>    * 定義されていない場合には新規定義

>  それ以外の式の場合には値が既に存在するモジュールでなくては
>  ならない(例外を発生する)

>とかいう動作にしたいんですか？ それとも「それ以外の式」は(ロー
>カル)変数しか許さない？

前者の意味でした. 

もう1つのメイルと話しがごっちゃになっているんで, 話しをまとめます.

クラス定義に関して欲しい機能は, 以下のことです.

1. 動的にクラスの生成を行いたい. 
2. この時に静的なクラスのスコープの指定を楽に行いたい(クラス定数への
   設定でもOK).
3. 動的にクラスに機能を追加したい.

で, これを実現するAPIとしては, 以下の案があります.

1.a 動的クラス生成, 静的クラススコープ指定なし
1.b 動的クラス生成, 静的クラススコープ指定あり
2.a クラス定数の設定API
2.b evalとクラスコンテキストの指定
3.a module ... end の拡張
3.b 1.a, 1.bを拡張する

3.a, 3.bが実現されれば, 特に 2.a, 2.b は必要ありません. 

あと, 制限事項になるかもしれないものとして

A. パスの維持
B. モジュールの機能拡張はあくまでもおまけ

があります. 制約Aを維持したければ, 1.a は不可です. また, 制約Bを維持し
たければ, 3.aはあまり望ましくありません.

今のところこんな感じになっていますかね?

__
.........................................石塚 圭樹＠今はフリー(^^;;...
------->>また, アドレス変わりました!! e-mail: [e-mail] <<---