スコープを曲げる - 主題のない日記

何度か取り上げたような気がするが、 Scheme のマクロ機構における datum->syntax の第一引数の意味が未だによくわからない。 あらためて規格を読んでみることにした。 (datum->syntax template-id datum) template-id はテンプレート識別子であり、datum はデータ値でなければならない。 この手続きは template-id と同一の文脈情報をもつ datum の構文オブジェクト表現を返す。 このとき、この構文オブジェクトは template-id が挿入されたのと同時にコードに挿入されたかのようにあつかわれる。 ここで「文脈情報 (contextual information)」という言葉がよくわからない。 更に続きの文を見ると… datum->syntax をつかうと、その識別子がもともと入力にあったかのようにあつかわれる暗黙の識

[hchbaw]

[let/scope][scheme][bend][lisp]