マクロ衛生の一部だけを作る方法

Question

lambdaという版のlambda-rというバージョンは、returnを作成できます。例：

(+ ((lambda-r ()
    (return 1)
    2)) 5)

.

これは値6を与えるでしょう。値が7になると予想されるかもしれませんが、それは2の前にLambda-Expressionから戻されたため6です。

私が探している変革の種類の例です。次のようにlambda-rを使用することになったとしましょう。

(lambda-r (a b)
    (return a)
    (+ a b))

.

このように変換されたい：

(call/cc (lambda (k)
       (define return (lambda (v)
                        (k (lambda (a b)
                             v))))
       (lambda (a b)
         (return a)
         (+ a b))))

.

は、内部の定義の代わりにlet-expressionで表現することもできますが、明確さのために定義を使用しています。

上記のコードは実際に期待どおりに機能します。 問題は、lambda-rをマクロとして表現するのに問題があることです。その理由は、kとvが衛生的になることを望んでいるが、returnが衛生的になることを望まないということです。

現時点でのマイマクロはこれです：

(define-syntax lambda-r
  (syntax-rules (return)
    [(_ (var ...) body ...)
     (call/cc (lambda (k)
           (define return (lambda (v)
                            (k (lambda (var ...)
                                 v))))
           (lambda (var ...)
             body ...)))
     ]))

.

returnが衛生的に扱われるため、これが機能しないため、lambda-rを使用すると直接表示されません。そのため、(lambda-r () (return 1))は、returnが有効な識別子ではないというエラーを示します。

---

編集：ナサンサンダースの答えのおかげで、私はここでやらなければならないことを理解するのに近いです。しかし、私は以下の手順を完全には理解していません、そして結果としてこれがまだ働くことができなかった。あなたが私を説明するかどうか私を説明するかどうかを本当に感謝します：

• syntaxプロシージャ
• datum->syntax / syntax->datumプロシージャ

編集：nevermind - 私は今それを持っています:)

Answer 1

あなたが望むものはsyntax-caseではなくsyntax-rulesです。

R6RS定義いくつかの例、特に a構文オブジェクトとデータム変換のセクション。これはあなたが望むものです。loop w / breakの例をreturnに適応させることができるはずです。