[ruby-dev:13565] Re: yield *[[]]

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

> |が、私はもうすこしあがいてみるつもりです。その仕様が本当に互換性が高い
> |のかという話と、型の話がネタです。まぁ、変える気になってくれるかどうか
> |はわかりませんが。
> |# net/http.rb という例も見つけてしまったし。
> 
> 私の案でも過去とは挙動が明らかに違うんで、互換性に問題がある
> のは確かだと思います。そういう観点からは、私のものと田中さん
> のものとには差はないと思います。前田さんのは本人も認めている
> 通り、ちょっと違いが大きすぎるでしょうけど。

で、問題はどちらの挙動を意図したコードが多いのか、という点になるんです
が、Ruby の配布の中で grep '\*' **/*.rb として眺めてみたんですが、私の
ほうの挙動と目されるものが 2件(resolv.rb と net/http.rb)あり、まつもと
さんのほうの挙動と目されるものはひとつもない、という結論に達しました。

# むろん sample/test.rb は除きます。

まぁ、resolv.rb が私の方というのは当然の話なわけですが、http.rb にもあ
ることからして、じつは互換性としては私の方が高い気がする、というわけで
す。

なお、http.rb の問題は resolv.rb と同じです。range というメソッドで

  return *arr

というのが使われていて、長さが 1 のときに展開されてしまう、というやつ
です。(変数名まで同じなのは偶然でしょうが。)

> 型の観点からは、「唯一の式の値がたまたま配列だったばっかりに
> 意図せず展開されてしまう」という問題がありえます。が、それも
> 明示的に *r とした場合の話でしょうから、影響はそれほど大きく
> ないのではと推測しています。

そのとおりです。r が T の配列だったとすると、... = *r の右辺の値が、T
の配列になるかも知れないし、T になるかもしれない、という問題です。

# なお、Ruby の Array は配列と同時にタプルの役割を受け持っており、タプ
# ルの展開時には型の問題は生じないんですが、1-tuple はあまり使わないの
# で、ここでは無視します。

つまり、return *r とか yield *r とか ... = *r という書き方は型的に危険
なので使う気になれない、というわけです。そして、そんな危険な機能をこん
な使いやすいところにおいておくんじゃない、と。

ただ、この機能が本当に便利なものであれば、おいておくところはここしかあ
りませんし、私の期待する挙動は [ ] で括れば得られるものなので、その挙
動とは異なる挙動を選ぶと表現能力が上がって嬉しい、という可能性はありま
す。この方向で進めると、なるべく動作が異なっていた方が嬉しいので
[1,2],*[] の挙動もやっぱり展開された方が... ということにもなります。

ただ、この機能が本当に便利かどうかは異様に怪しいと思っています。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)