"ベア"仮パラメータでラムダ定義を使用する場合

Question

私は現時点ではガイルスキームを学んでいる、と私は突然、次のような構成に走った文書で：

((lambda args (display args)) 42) 
=> (42) 

これは、ループのために私を投げました。私が想定していたこの時点までの仮パラメータは常にリストで囲まれた：

((lambda (args) (display args)) 42) 
=> 42 

このバリアントを使用するとき、私は疑問に思う、とどのようにこれは、可変個の引数のためのドット表記とは異なります。 - おそらく、より複雑な例について -

((lambda args (display args)) 1 2 3)  => (1 2 3) 
((lambda (. args) (display args)) 1 2 3) => (1 2 3) 

違いがあり、私が知っておく必要があり、他の上の1つを好むために何らかの理由があること：具体的には、2つの以下のバリアントの違いは何ですか？

(lambda (args) (display args)) 

そして、このバージョンは、（おそらく受け取る：

Answer 1

違いは、このバージョンでは、あなたがlambdaフォームに予想される実引数の正確数がわかっている場合、単一のパラメータは例のために便利な、argsと呼ば受信することですパラメータのリスト）は、空、あなたがlambdaフォームの引数の可変数を期待するときに便利な、argsと呼ばれる：

(lambda args (display args)) 

は、次の2つのバージョンの違いはありませんが、それは、ドットの前の部分が欠落していますので、すべてではない通訳は、二番目を受け入れます（そのため、避けるべき）：

は

(lambda args (display args)) 
(lambda (. args) (display args)) 

次バージョンでありますlambdaフォームに、1つ以上の必須パラメータ（ドットの左側のシンボル）と0個以上のオプションのパラメータ（ドットの右側の単一のシンボル）のリストを指定する場合に便利です。

(lambda (mandadory1 mandatory2 . optional) (display mandatory1)) 

Answer 2

これは私のために私を投げたoop;私は正式なパラメータを想定していたこの時点まで常にリストで囲まれた：

注(a . args)と(a b . args)のようなものが本当にいずれかの一覧表示されないこと。 (a . args)は、carがシンボルaであり、cdrがシンボルargsであるペアです。 (a b . args)は、carがシンボルaであり、cdrがシンボルbであり、cdrがシンボルargsであるペアであるペアです。それはaとbとしばらくの間、リストのように見えますが、null /空のリストで終わらないので、本当に適切なリストではありません。そのような構造は、しばしば不適切なリストと呼ばれます。あなたたい場合は、ドット付きペア表記hereについて少し読むことができる、またはどこか他の... (. args)で

私は多分、「それはcdrがシンボルargsあるペアがある」のようなものを言うと思います。あるいは、「carがあり、cdrがargsであるペア」のように出てくるかもしれません。いずれにしても、それは意味をなさないでしょう。そして、クリス・ジェスター・ヤングが言ったように、それは本当に有効なスキームではありません。

So. (a b . args)のようなものは、最後のcdrにヌルでないものを置くためのちょうど普通のドット表記の記法です。 Schemeの仮パラメータが不適切なリストまたは適切なリストまたはシンボルのいずれかになりうる場合、仮パラメータの定義は、次のようなものでなければなりません：正式なパラメータ - 物はヌル、シンボル、またはcarがシンボルであり、cdrが仮パラメータのものであるペア。

（これは、引数をパラメータにバインドするよりエレガントな方法であると思います。仮引数の場合と同様に、シンボルの場合は、引数のリストをそれがペアならば、引数のcarを仮パラメータの事のcdrにバインドし、形式的なパラメータのもの/引数のcdrに再帰させます（ああ、あなたが終わったかどうかなどの場合）。 carのシンボルが&restならば、残りの引数をシンボルに結びつけるのです。」