Gauche: レストパラメータが働かない？

レストパラメータなしのコード

Gauche
1(define avg
2  (lambda (ls)
3    (let loop ((sum 0) (ls1 ls))
4      (if (null? ls1)
5	  (/ sum (length ls))
6	  (loop (+ sum (car ls1)) (cdr ls1))))))
7(avg (list 1 2 3 4 5))

---> 3

レストパラメータありのコード

Gauche
1(define avg
2  (lambda ( . ls)
3    (let loop ((sum 0) (ls1 ls))
4      (if (null? ls1)
5	  (/ sum (length ls))
6	  (loop (+ sum (car ls1)) (cdr ls1))))))
7(avg 1 2 3 4 5)

--->
*** READ-ERROR: Read error at "(standard input)":line 114: bad dot syntax
以下　ls が定義されていない等のエラー

質問

こちらのチュートリアル(http://www.shido.info/lisp/scheme4.html)に従って勉強しているのですが、掲載の方法ではレストパラメータが使えないように思えます。
お手数をおかけしますが、Gaucheでレストパラメータを使用する方法をお教えいただければ幸いです。

行動規範の内容に同意します

回答1件

ベストアンサー

Scheme（Lisp）のデータ構造から説明すると、(a b c)は(a b c . ())と同じです。ざっくりいうと.の右は、リストの末尾を表し、これが()（Common Lisp等ではnil）である場合は.ごと省略できます。これは説明すると長くなるので、「ドット対」または「点対」の用語で調べてください。

結論としては、( . ls)というのは無効な表記です。質問のコードのうち、lambdaの行を次のように変えると正しい文法になるはずです。

Scheme
1  (lambda ls

投稿2018/10/27 05:44

emasaka

総合スコア524

kasanegi

2018/10/27 06:04

回答ありがとうございます！確かにご教授いただいた方法でうまくいきました。実装を見ていないので自分なりの解釈ですが、 ①　呼び出し時に与えられた引数たちはいったん一つのリストに、まとめられる。 ②　関数定義の引数の記法に従って、リストから各変数にアンパックしていく。 ③　その時「１個以上前の値がアンパックされた時の残りの値のリスト」を格納する変数の記法が「(~ . ls)」などのドットで区切る記法である。 ④　よって、今回のような場合には、アンパックのためにカッコでくくったりせずにそのまま代入すればよい。というようなことでしょうか？重ね重ねすみません。