是在Racket中構造一個宏嗎？

Question

我記得我讀過的地方不是一個宏，而是內置於核心語言。就像那樣，我不確定，因爲我再也不記得我從哪裏讀到它了。那麼struct是否在Racket中有宏？如果不是，它爲什麼被嵌入到核心語言中？

Answer 1

宏; struct.rkt有

(define-syntax (struct stx) 
    (define (config-has-name? config) 
     (cond 
     [(syntax? config) (config-has-name? (syntax-e config))] 
     [(pair? config) (or (eq? (syntax-e (car config)) '#:constructor-name) 
          (eq? (syntax-e (car config)) '#:extra-constructor-name) 
          (config-has-name? (cdr config)))] 
     [else #f])) 
    (with-syntax ([orig stx]) 
     (syntax-case stx() 
     [(_ id super-id fields . config) 
     (and (identifier? #'id) 
       (identifier? #'super-id)) 
     (if (not (config-has-name? #'config)) 
      (syntax/loc stx 
       (define-struct/derived orig (id super-id) fields #:constructor-name id . config)) 
      (syntax/loc stx 
       (define-struct/derived orig (id super-id) fields . config)))] 
     [(_ id fields . config) 
     (identifier? #'id) 
     (if (not (config-has-name? #'config)) 
      (syntax/loc stx 
       (define-struct/derived orig id fields #:constructor-name id . config)) 
      (syntax/loc stx 
       (define-struct/derived orig id fields . config)))] 
     [(_ id . rest) 
     (identifier? #'id) 
     (syntax/loc stx 
      (define-struct/derived orig id . rest))] 
     [(_ thing . _) 
     (raise-syntax-error #f 
          "expected an identifier for the structure type name" 
          stx 
          #'thing)])))) 

球拍IDE，您可以使用Open Defining File功能定位的源代碼（如果可用）。

Answer 2

除了usepla最偉大的答案，我想補充：

1. 在球拍文檔中，「藍盒子」在右上角，如procedure或syntax短語。對於struct它說syntax。

2. 如果您考慮struct做了什麼，除其他外，它定義了從結構名稱派生的命名函數。所以(struct foo (a b))將定義一個foo?謂詞和訪問器foo-a,foo-b。一個普通的函數不能像這樣定義新的命名事物，所以它必須是一個宏。

Answer 3

看起來我誤解了這個問題，當我回答以前。所以這裏是對這個問題的回答：

結構是內置的和原始的;他們支持實施。事實上，大約2007年，馬修·弗拉特評論說，PLT的計劃（如球拍是衆所周知的話），在一定意義上的一切是一個結構：

>在週四，2007年16時45分25秒-0700 5月31日， YC寫道：
>出於好奇 - PLT方案實際上使用結構作爲基本的複合類型，即在結構體頂部實現閉包等。

我認爲它的方式，一切都是一個結構，但有些東西使用了特殊表示，因爲它們足夠重要。 （ 極端情況是fixnum）。

但同樣有效的答案是：不，不是所有的化合物類型都使用 與來自結構構造函數的值相同的表示形式。

- Source。

Start of the thread。