lisp - LISP defun がパラメータ引数の前に引用符を必要としないのはなぜですか?

Question

次の関数を使用します。

(defun sum-greater (x y z)
 (> (+ x y) z))

LISP では、リストの最初の要素は常に、後続のアトム/リストで実行される関数を表すと理解しています。では、なぜ LISP は in を and に対して実行される関数として扱わないのxでしょう(x y z)か。明らかに、これは望ましい動作ではありませんが、予期される動作です。yz

おそらく、定義する関数defunは、リストの標準的な LISP 評価を何らかの形でオーバーライドしますか? もしそうなら、これを詳しく教えていただけますか？

ありがとう

score 8 · Accepted Answer

Common Lisp の IIRC は、少なくともdefunマクロ ( HyperSpec ) です。つまり、引数の評価戦略を定義することができます。

score 6 · Accepted Answer

defunマクロなので特別です。また、マクロは実装に依存する可能性があるため、あらゆる種類の黒魔術が内部で発生する可能性があります。

Lisp HyperSpec (Common Lisp)は、「マクロ展開時に評価される引数はありません」と引用します。

score 3 · Accepted Answer

ここから Lisp の基本的な紹介をダウンロードできます。

Lisp、特に Common Lisp にはいくつかの Lisp 形式があります。

DEFUNはマクロです。したがって、マクロは評価される部分と評価されない部分を定義します。ANSI Common Lisp の場合、これは標準で定義され、DEFUN マクロによって実装されます。

score 3 · Accepted Answer

あなたの推測は正しいです。defun は通常、特殊なフォームまたはマクロです。

score 2 · Accepted Answer

defun は関数ではなく、特別な形式 (または 1 つに要約される) であり、これらの評価メカニズムは異なります。同様の例は、引数の 1 つがまったく評価されずに完全に破棄される場合です。

5 に答える 5