[ruby-dev:6553] Re: [REQ] Object#+@ as identity (Re: [REQ] p -10 == p(-10))

稲葉です。

Yukihiro Matsumoto wrote:
> 
> まつもと ゆきひろです
> 
> In message "[ruby-dev:6546] Re: [REQ] Object#+@ as identity (Re: [REQ] p -10 == p(-10))"
>     on 99/04/05, Inaba Hiroto <[e-mail]> writes:
> 
> |ずいぶん時間がたちましたが、いまだに名案はありませんので、そろそろ
> |ギブアップします。
> 
> うっ，残念だなあ．

こー言われてしまったので、もうちょっと考えてみたのですが、やっぱり
名案は浮かびませんでした。けど迷案が浮かんだので一応メイルします。
# 自己評価でさえ没の可能性大^^;なので期待しないでください

> ちょっとまとめてみましょう．
> 
> 現状のRubyでは
> 
>   foo+bar
>   foo + bar
> 
> と
> 
>   foo +bar
> 
> では違う解釈が行われるというのが第1点です．これについての私
> の考えは「互換性のこともあるしいまさら変えられない」です．こ
> れは前提条件としましょう．

はい。
 
> 次に問題になるのは，-wオプションを付けると上記の
> 
>   foo +bar
> 
> のような形式にはことごとく警告が出てうるさいという点です．こ
> れは私も同意します．
> 
> で，これに対する対応として
> 
>   (a) 警告を出さなくする
>   (b) 別の基準を用意して緩和する
>   (c) 現状維持
> 
> という考えがあって，稲葉さんにはbの「別の基準」を宿題にした
> というのが経緯です．そうですか，思い付きませんでしたか．
> 
> 私としては単項+/-については，この警告を出さなくすると言うの
> も受け入れられないほどではないな，と考えているのですが，

うーみゅ、でも+/-が一番間違いが起こりやすい（と思う）ので、その警告
をなくすのはこういう警告を出す意味を大幅に損なう事になるんではないか
と思ったのです。

で、迷案ですが、単項の+/-としてしか解釈されない別の記法を追加する事が
できればいいんじゃないかと思い付いたのです。「~」を単項の「-」に
みなす言語もあったような気がします。rubyでは「~」は既に色んなclassで
それぞれの意味があるのでだめですが。

問題なのは、今の文法とコンフリクトせず、かつ「自然」な記法ですが...
思い付いたのは「.+」「.-」なんですが、他に例がないし、抵抗ある人
が多そうだなと思いますです。

> なるほどねえ．それは言えるかもしれません．となると，こっちを
> 警告するようにして，単項+/-については警告を外すと言うのも有
> 力な候補ですね．

こっちはこっちで大きな意味があると思いますんで、
こういう方向の解決でも良いと思います。
--
			稲葉 浩人  <[e-mail]>