Racket/Scheme에서이 형식의 syntax-case의 사용법은 무엇입니까?

Question

사용법 syntax-case에 관한 문서는 혼동 스럽지만 f은 무엇을 의미 할 수 있습니까?

(define-syntax (check stx) 
    (syntax-case stx() 
     [(f (x y)) 
     #'(list 'second: f x y)])) 

Answer 1

이 코드는 상당히 세분화되어 있습니다.

로 시작하려면,

(define-syntax (check stx) 
    (syntax-case stx() 
     [(f (x y)) 
     #'(list 'second: f x y)])) 

(check (3 4)) 

오류를 얻을 : 확인 : 나쁜 구문 :

문제를 확인하지만, 확장에 표시되는 'F'의 사용입니다. 이를 확인하려면, 그것을 밖으로 데리고 나가보십시오

(define-syntax (check stx) 
    (syntax-case stx() 
     [(f (x y)) 
     #'(list 'second: 1234 x y)])) 

(check (3 4)) 

이 생산, 좋은 평가 '(초 : 1234 3 4)

그래서

, 왜 첫 번째 실패는 무엇입니까? 문제는 첫 번째 예에서,

(check (3 4)) 

는하지만,

(list 'second check 3 4) 

에이의 문제를 확장한다는 것이다가 확장에서 '확인'매크로의 또 다른 사용은 '확인'이다 따라서 이어야하며 확장되어야하며이 두 번째 확장은 올바른 모양이 아니어야합니다.

이것을 보려면 매크로 스테퍼를 사용하여 프로그램을 확장 해보십시오. 매크로 스테퍼를 실행하고 풀다운 메뉴를 사용하여 "표준"매크로 숨김을 선택하고 "끝 ->"버튼을 클릭 한 다음 한 단계 뒤로 이동하십시오. 호기심에서

(define-syntax (check stx) 
    (syntax-case stx() 
     [(_ (x y)) 
     #'(list 'second: 1234 x y)])) 

(check (3 4)) 

:

일반적인 규칙은 다음과 같이 패턴에서 매크로 이름에 일치하는 "걱정하지 않는다"상징으로 밑줄 "_"를 사용하는 것입니다 : 이 코드의 출처는 어디입니까?