[ruby-dev:535] Re: Assigne to special variable

えぐち です。

----------
> まつもと ゆきひろです
> 
> |えぐち です。
> 
> |全てのモジュールで 定数TRUE を定義しない限りだめでしょうか？
> |モジュール定義に hook はないですか、、これは邪道の境地になってしまう
> 
> いまんとこないです．

「モジュール定義時へのフックでないと出来ないこと」
が定数 TRUE への代入の阻止以外にもあったり、
そこでするのが一番合理的（か効率的な）処理が見つかったら
つけたいですね。

「TRUE=hogehoge」問題の解決の為だけにはもったいないです。


> |> 定数システムは特異ではありますが，いろいろ考えて作られている
> |> んで変更しようと思ったらなかなか深い議論を呼びますよ．
> |> # 脅しているわけじゃないんですけど．
> |
> |どうしてこういう形に落ち着いてか興味が尽きません。
> 
> なぜ定数になったか，という話は以前にもしましたが，結局はクラ
> ス変数がどこのクラス(あるいはモジュール)に属するかを決定する
> ことができないからです．
> 
> では，どうして書き換え可能になったか，というと include が動
> 的に行う事ができるからです．つまり，自分のところで定義してい
> る定数と同じ名前の定数を定義しているモジュールをインクルード
> する事は結局定数の上書きになってしまいます．ということは，他
> のところで禁止するのも意味が無いなあ，ということで，サブクラ
> スによる上書きを許す事になっています．
> 
> |STDIN を「しょうがない」と断言されるところを見ると
> |include する Module によって定数シンボルが意味を変えるのを
> |重要な機能と位置づけているんですね。
> 
> というか，現実的な仕様で禁止することができそうにないなあ，と
> 思っています．

実世界でも同じ記号に複数の意味がマップされているので
定数がモジュールスコープだと、それを表現しやすいですね。

特に 物理と数学 や 電気工学と機械工学 の間の定数の
衝突などすさまじいものがあるので、結構便利な機構だとおもいます。

で、「TRUE=」問題への *パラノイア的な* 解として、

	if ( Kernel::TRUE ) 
	    ...
	end

ってのがありますね、（ぜったい流行りそうにないけど）

とりあえず、'モジュール::定数' のフォームなら
オーバーロードは避けれれるので、効果的だとか思います。

単項前置の :: を Kernel:: の同義語にするのもいいかもしれません。
（parse する上では衝突はないと思います）