ラケットのパターン マッチ ドキュメントを理解しようとしていますが、次のような質問があります。解析できません。
- (quasiquote qp) — 識別子がシンボルと一致する準パターンを導入します。quasiquote 表現形式と同様に、unquote および unquote-splicing は通常のパターンに戻ります。
http://docs.racket-lang.org/reference/match.html
例：
> (match '(1 2 3)
[`(,1 ,a ,(? odd? b)) (list a b)])
'(2 3)
この例と、「識別子がシンボルに一致する」方法について説明していませんか? 私はそれが'(1 2 3)パターン'(1, a, b)に一致し、bが奇数だと思いますが、リストメンバーの間にコンマが必要なのはなぜ`(,1 ,a ,(? odd? b))ですか? `(1 a (? odd? b))特に`(,？なぜそのように？だからストリング！
ありがとう！