function - define-syntax vs. 関数の定義

Question

Racket では、次の方法で構文を定義できます。

(define-syntax foo
  (syntax-rules ()
    ((_ "abc") 'xyz)))

走ることで

(foo "abc")

xyz を返します。define を使用してこれを実装します。

(define (foo x)
  (match x ["abc" 'xyz]))

今回、

(foo "abc")

それでも 'xyz を返します。これらの異なるフォームを使用することの違いは何ですか?

score 3 · Accepted Answer

define-syntaxマクロを定義します。マクロはコンパイル時に処理され、コンパイルされる新しいコードを生成し、関数は実行時に実行されます。その結果、マクロはランタイム変数にアクセスできず、引数を評価しません。違いを確認するには、次を試してください。

(define param "abc")
(foo param)

を定義する 2 つの方法を使用しますfoo。これは関数では機能しますが、マクロでは機能しません。

score 1 · Accepted Answer

これを試して：

(define abc "abc")
(foo abc)

2 つのバージョン間で非常に異なる結果が表示されます。

2 に答える 2