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

In article <[e-mail]>,
  Shugo Maeda <[e-mail]> writes:

> いや、それはreturn 1, 2, 3で配列を返すためですから、メソッドも
> 複数の値を返せるようになればよいんじゃないでしょうか。

単値と多値の関係を考える時には、どちらが一般形でどちらが特殊形であるか
を意識しないといけないんじゃないでしょうか。

# 「複数の値」と書くのは面倒なので「多値」と書くことにします。
# 「単一の値」と書くのは面倒なので「単値」と書くことにします。

多値の特別な場合 - 要素が一つしかなかった場合 - を単値と考えることもで
きますし、単値の特別な場合 - 値が配列だった場合 - を多値と考えることも
できます。

少なくとも、現在の Ruby が多重代入で単値を一般形として採用しているのは
今回の議論で明確になったと思います。単値が一般形だから、代入の分割にお
けるテンポラリ変数の使いかたが単値の形式なわけです。

# 私は多値が一般形だと誤解したため *tmp を使いたくなった、ともいえる。

もちろん、多値を一般形として採用してもいいわけで、前田さんの提案は突き
詰めていえばそういうことだと思います。とすると、

> 配列を展開したい時は、
> 
> a, b, c = *ary
> 
> でよいわけですし。

というのは * に単値の配列を多値に変換する演算子という意味をつけよう、
という提案と受け取れます。

個人的には、きれいな提案だと思いますが、なんか波及効果が大きいような気
がします。

例えば単値を期待している文脈に多値で値を返したらどうなるか、とか。妥当
な挙動は、主値にするか、配列にするか、例外にするか、くらいしかないとは
思いますが。
# あぁ、Scheme では unspecified だったかな。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)