「3D構文」とは何ですか？

Question

ラケットマクロを書く文脈では、「3D構文」は何を意味していますか？

私はこのフレーズを数回聞いたことがあります。一度はマクロを参照して、私はと書いていました。しかしそれはしばらく前です。私はそれを修正し、今は私が間違ってやっていたものを覚えていません。

また、3Dの構文は常にが悪いですか？または、それはevalのようなものです（あなたがそれを使用する必要があると思われる場合はおそらく間違っていますが、有効な使用方法があります）

Answer 1

構文オブジェクトは、通常、わずかserializable dataとします。 3D構文はこの状態を弱める。それは、単純なデータだけではなく、任意の値に潜入することを可能にする。これが「3d」になっています。それらは、構文オブジェクトから期待される通常のフラットなものよりも上にある値です。

たとえば、lambdaの値を知らせることができます。これを行う

#lang racket 

(define ns (make-base-namespace)) 
(define (set-next! n) 
    (parameterize ([current-namespace ns]) 
    (eval #`(define next #,n)))) ;; <-- 3d-syntax here 

(define (compute s) 
    (parameterize ([current-namespace ns]) 
    (eval s))) 

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
(define counter 0) 
(set-next! (lambda() 
      (set! counter (add1 counter)) 
      counter)) 

(compute '(+ (next) 
      (next) 
      (next) 
      (next))) 

このような値の存在は、おそらくコンパイルの段階を介して情報を漏洩する病気設立試みを意味するので、通常は悪いことです。その結果、個別にコンパイルできない可能性があります。あなたのようなものに聞こえるエラーが表示された場合：

write: cannot marshal value that is embedded in compiled code value 

を、その原因は、バイトコードにシリアライズすることはできません3D-構文の作品を制作したマクロに最も可能性が高いです。

まれに、時には動的な評価コンテキストで、しばしば3d構文が必要になることがあります。具体的な例として、DrRacketのデバッガでは、関数のアプリケーションがデバッガの関数に直接コールバックするようにプログラムの構文を注釈して、プログラムエディタでインタラクティブなコードカバレッジの色付けを行うことができます。その意味で、3d-syntaxは、動的に評価されるコードとその周囲環境との間の通信チャネルとして機能することができる。