ドットリスト、ドット対

Scheme

いまいち理解しきれてない。使いどころが分からん。
例えば、

(define MIT->primitive
  (lambda (expr)
    (match expr
      (('define (func . args) . body)
       (list 'define func (list* 'lambda args body))))))

のmatchのパターンのところが、なぜ

('define (func args) body)

じゃなくて

('define (func . args) . body)

なのか。


あと、それに付随するのかもしれんが、なんで

(list 'lambda args body)

じゃなくて

(list* 'lambda args body)

なのか。
実際に動かしてみると違った結果が得られるから違うのは分かる。
だけど、なぜ違うのかという根拠を整理できていない。
つまり分かってないってことじゃんかーーー。くそー。


さらには、

'(foo bar baz)

と

'(foo bar . baz)

の違いが分からん。
これが根本的な原因？