매크로 렛 (macrolet)을 통한 사전 닫음?

Question

매크로 렛을 사용하여 어휘 클로저와 같은 작업을 수행 할 수 있습니까?

CL-USER> (combinations nil '(1 2 3) '(4 5 6)) 
((1 4) (1 5) (1 6) (2 4) (2 5) (2 6) (3 4) (3 5) (3 6)) 

것은 내가 좋아하는 것이 무엇 : 내가 뭘 원하는 각 조합에 함수를 호출 다음 매크로 로컬 재귀 도우미를 만드는 대신에 지금의 REPL 결과에 매크로를 호출 않는 목록을 생성하는 것입니다 함수와 각 조합에서 함수를 호출하는 중첩 루프의 목록 및 결과를 원하는 수만큼 사용하는 매크로입니다. 나는 굉장히 새로운 것 같아요. 이것은 nif 클론 등을 넘어서 작성한 첫 번째 매크로이므로 어떤 제안도 환영합니다.

함수를 사용하는 매크로에서 매크로를 매크로 렛으로 바꾸려고 시도했습니다. '(nreverse (list, item, @vars))'가 '(func (nreverse (list, item , @ vars))) '하지만 func가 정의되지 않은 변수 또는 함수라는 오류가 발생합니다.

(defmacro combinations (vars &rest lsts) 
    (with-gensyms (item) 
    `(loop for ,item in ,(car lsts) ,(if (null (cdr lsts)) 'collecting 'nconcing) 
     ,(if (null (cdr lsts)) 
      `(nreverse (list ,item ,@vars)) 
      `(combinations (,item ,@vars) ,@(cdr lsts)))))) 

이 내가 macrolet으로 노력하고 정의되지 않은 함수 'FUNC'에러가 발생 한 것입니다 :

이 원래의 기능입니다.

(defmacro for-all-combonations (func &rest lst) 
     (macrolet ((for-all (vars &rest lsts) 
        (with-gensyms (item) 
         `(loop for ,item in ,(car lsts) ,(if (null (cdr lsts)) 
                  'collecting 'nconcing) 
          ,(if (null (cdr lsts)) 
           `(func (nreverse (list ,item ,@vars))) 
           `(for-all (,item ,@vars) ,@(cdr lsts))))))) 
     (for-all nil lst))) 

Answer 1

매크로는 Common Lisp의 최상위 객체가 아니므로 매크로처럼 어휘 닫음을 수행 할 수 없습니다. 당신은 유효한 Lisp 프로그램 인리스트를 생성하는 함수를 생성하고 비슷한 결과를 얻을 수있다.

아마도이 문제는 아주 좋은 해결책이 아닙니다. Rainer Joswig에 따르면, 매크로는 소스 코드를 조작하기위한 것입니다. 언어에 내장되어 있지 않은 새로운 구문 양식을 원할 때 사용하십시오. 평범한 기능으로 원하는 것을 쓸 수있는 곳에서는 사용하지 마십시오.