：DEFUNするために必要な引数ではありませんシンボル

Question

SBCLするCLISPからレガシーコードを移植する場合、私はCLISPの明らかな誤りなく実行されます。このコードによって示され、問題を提起した構文に遭遇しました：

(defun foo ((alpha integer)) 
    (princ (type-of alpha)) 
    (princ " ") 
    (prin1 alpha) 
    (terpri)) 
(foo 3) 
(foo 3.5) 
(foo (list "beta" "gamma" "delta")) 
;;; output follows ;;; 
(INTEGER 0 281474976710655) 3 
SINGLE-FLOAT 3.5 
CONS ("beta" "gamma" "delta") 

どうやらintegerで最初の行は純粋にコメントの装飾として機能します。 #'fooの同じ定義に遭遇

SBCLは、文句を言う：まさにここintegerの目的である

Required argument is not a symbol: (ALPHA INTEGER) 

何？これらの2つの動作（どちらか一方でも）が標準に準拠していますか？

EDIT：

問題のレガシーコードは、いくつかの（古代）cl-lexの一種ではなくthis oneです。

Answer 1

あなたはCLISP拡張子CUSTOM:*DEFUN-ACCEPT-SPECIALIZED-LAMBDA-LIST*に依存している：custom:*defun-accept-specialized-lambda-list*がtとき

(defun foo ((alpha integer)) ; non-standard 
    ...) 

は

(defun foo (alpha) ; ANSI CL conformant 
    (declare (type integer alpha)) 
    ...) 

に相当します。

defun は、defmethodのように少し見えます。 しかし、CLISP ignores type declarations, このコードデコレーションが持つ唯一の効果は、プログラマーの意図の文書化です。

*** - FUNCTION: (ALPHA INTEGER) is not a symbol 

PS：あなたはnilに custom:*defun-accept-specialized-lambda-list*セットとCLISPからになるだろう、それ から同じエラーが出るよう

SBCLは、この拡張機能をサポートしていません。この機能は、13年前のCLISPで2004年の夏に導入されました。どのパッケージがそれを使用しているのだろうか。