SASADA Koichi <ko1 atdot.net> writes:

> 　今日ずっと考えていたんですが、そもそも多値をサポートする理
> 由ってなんでしたっけ。言語仕様が綺麗になるから？

Common LispとかSchemeだと、「綺麗になる」という論拠があるとすれば、
・多引数の関数があるのに、なんでcontinuationが多引数じゃいけないんだ。
ということでしょうね。

実際に複数の値を返したい時はあって、例えばCのfgetsなんかは「エラーや
EOFになったかどうか」と「読み込んだ値」を返したいんだけど、できないか
らステータス以外は副作用で返すのが定石になってますね。

Common Lispだとハッシュ表を引くGETHASH関数は、キーに対応する値が存在し
なければNILを返しますが、それだと「キーに対応する値がNILだった」時と区
別できないので、2つめの値として「値が見つかったかどうか」を返します。

でも、実際に多値を使ってみると、少なくともCLでは「綺麗」とはほど遠いプ
ログラムになります。

Common Lispに多値を入れた実際的な理由は、

・複数の値を返すが、ほとんど最初の値しか使わないような関数がある時、
  使うのが少し楽になる。

  例えば、floor が「商と剰余をconsしたpairを返す」としても良いんだけど、
  (+ (car (floor 5 3)) (car (floor 19 4)))
  みたいに書くより
  (+ (floor 5 3) (floor 19 4))
  と書きたい。

  (そのかわり、全部の値を使うのは面倒になるので、トレードオフがある。)

・同じく、複数の値を返すのを、効率良くしたい(メモリを割り付けたくない)。

  そのために、普通のケースが遅くなるようだと本末転倒ですけどね。

なんてとこじゃないでしょうか。

要するに「受けとったり、受けとらなかったりしたい」っていうお気楽な言語
特有のものかも知れません。

MLやHaskellなどのコミュニティに聞けば、「どうせ常に複数の値を返すなら、
素直にタプルなりレコードなりを返せば良いじゃん」ということになるでしょ
う。で、コンパイラが頑張ってなるべくメモリ割り付けしないようにする。

あ、あと、Common Lispだと、

・副作用だけのための関数(Cでいうvoid, Pascalのprocedure)を書く時、「0
  個の値を返す」と書くと綺麗かも。

というのもあるかな。

				前田敦司

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