Tanaka Akira <akr m17n.org> writes:

> たとえば、キーワード引数がある世界では、継続をキーワード引数で呼べると
> すれば、返値をキーワードで受け取る機構が必要になります。

おお。

Common Lispだと、えーと、
  (values :result 100 :found t :errors '())
とかできるけど、確かに受けとるのは大変だなあ。
  (multiple-value-call (lambda (&key errors result found) ...)  多値式)
とするのかな。

> Ruby 特有なものではブロック引数も同様でしょう。

うーむ。逆イテレータとか。
 return 1, 100 do |i|
    p i
 end
とか?  (はたしてYARVでうまく最適化できるか?)

ところで、yield ではブロック引数って渡せないですよね?
だったら return で返せなくても別にいいかも?

> まぁ、call-with-values なら受け取り側はふつうの引数なので問題はありま
> せんが、使いにくい call-with-values のかわりにいろいろと special form
> を入れるとすれば、そのへんをサポートする設計が面倒臭いように思います。

(Rubyにcall-with-valuesとかmultiple-value-callはそぐわないよなあ、なん
となく。)

special formって、Rubyだと、
・多重代入
・(まだ見ぬ)多値を引数とするメソッド呼び出し
ですよね。

とりあえず多重代入の話をすると、Rubyの引数渡しの機構のうち
・残り全て  a, *b = ...
はサポートされてるけど、その他に
・&x
・デフォルト値
もサポートするか、ということ? デフォルト値は無理っぽいなあ。

> もちろん special form ではそのへんはサポートしないという割り切りもあり
> えますが、そうするときれいというにはちょっと離れる気がします。

「special formでは」っていうのは、「全機能をサポートするprimitiveはあ
るけど、より使いやすい構文糖ではサポートしない」っていう意味ですよね? 
そもそも「全機能をサポートするprimitive」を作れるかどうかの方が問題か
も。

				前田敦司

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml