CommonLisp: applyに与える引数について

Question

リストCommon Lispコマンド applyについて

CL-USER> (mapcar #'car '((1 2 3 4)(5 6 7 8)))
(1 5)

CL-USER> (apply #'append '((1 2 3 4)(5 6 7 8)))
(1 2 3 4 5 6 7 8)

CL-USER> (apply #'car '((1 2 3 4)(5 6 7 8)))
APPLY: too many arguments given to CAR
[Condition of type SYSTEM::SIMPLE-PROGRAM-ERROR]

上記の評価「(apply #'car '((1 2 3 4)(5 6 7 8)))」について、
評価結果が(1 2 3 4)になると予想したのですが、上記の通りcarコマンドに対する
エラーになってしまいます。

いまいち、applyコマンドの使い方が理解できていません。
applyの引数はリストでなければならないので、'((1 2 3 4)(5 6 7 8))で問題
ないと思っているのですが、何が問題なのでしょうか。。。

applyによって

(car '(1 2 3 4))
(car '(5 6 7 8))

と分解される？
２つに分解されるからapplyの戻り値として多すぎる？
正直こんがらがっています。
識者の方、理解のお手伝いをお願いいたします。

Answer 1

appendが複数の引数を取るのに対して、carの引数は1つですよね。
'((1 2 3 4)(5 6 7 8))という1つのリストを1つの引数として渡したければ、それを引数を囲う括弧で囲む必要があります。

(apply #'car
        '(
           ((1 2 3 4)(5 6 7 8))
         )
)

Comments

[kamuycikap]

なるほど！！
#'carの次にあるカッコは、applyの引数としてのカッコであって、carコマンドに渡す引数は、さらにその中の話なのですね。
私はcarに、 '((1 2 3 4)(5 6 7 8)) を渡そうとしたのではなく、 '(1 2 3 4) '(5 6 7 8) を渡そうとしたのですね。

[otn]

> applyの引数としてのカッコであって

若干ニュアンスが異なるかもしれません。合ってるのかもしれませんが。

A と B という2つの引数を渡したければ、それをリストにした(A B)をapplyの第二引数に渡します。
(apply #'foo '(A B)」

(A B) という1つのリストを渡したければ、それをリストにした((A B))をapplyの第二引数に渡します。
(apply #'foo '((A B))」