命令型プログラマのためのラケットマクロシステムを学ぶ最も良い方法

Question

Racketマクロシステムを学ぶために経験豊富な命令型プログラマがCマクロに慣れている最良のルートは何ですか？それの仕組みだけではなく、それを使用する場所と理由、そしてこれを説明する例もあります。

最初にScheme（またはLisp）マクロを学習する必要がありますか？私は、 "On Lisp"という本にLispマクロの優れた説明があり、優れた使用例があると聞いてきました。これは有用かどうか？

Answer 1

Racket's documentationは、excellent tutorial on using macrosを有する。

以前はどんな種類のLispマクロも扱っていないのであれば、CLマクロよりSchemeマクロをお勧めします。これは、Schemeマクロがパターンマッチングを使用するためであり、読みやすくなっています。

（ラケットのdefine-syntax-ruleを使用）例：

(define-syntax-rule (let ((var val) ...) 
         expr ...) 
    ((lambda (var ...) 
    expr ...) 
    val ...)) 

これは、それを適用し、その後、対応するラムダを作成する点でletを定義する非常に単純なマクロです。読むのは簡単ですし、それが何をするのかを簡単に判断することができます。

やや複雑マクロ：

(define-syntax let* 
    (syntax-rules() 
    ((let*() 
     expr ...) 
    (let() 
     expr ...)) 
    ((let* ((var val) next ...) 
     expr ...) 
    (let ((var val)) 
     (let* (next ...) 
     expr ...))))) 

バインディングが順次行われるように、これは、ネストされたlet Sの点でlet*を定義します。これには、基本的なケース（バインディングなし）と再帰的なケースが含まれています。

Answer 2

マクロのベストチュートリアルはまだKent Dybvigの"Writing Hygenic macros in Scheme with syntax-case"だと思います。これは特にラケットに関するものではありませんが、基本的にすべてが引き継がれ、上記のChrisが残っている違いをカバーするguideを読んでいます。名前にもかかわらず、それは "ハイジェニック"と "非ハイジェニック"マクロの両方を対象としています。

編集2014年7月：

私は上記を書いたので、グレッグHendershottはFear of Macros題しラケットのマクロの素晴らしいチュートリアルを、書かれています。ラケットマクロの学習を開始するのに最適な場所です。