On Lispの「18.4 マッチング」に出てきたコードを理解し、Scheme で書き直す。 本丸の match は後回しにし、varsym? と binding を書く。 varsym? varsym? は簡単。 x がパターン変数かどうかを返す。あらかじめテストを書いておいた。 (define (varsym? x) …

背景 R5RSで定義されているマクロのマッチングを適当にC++で実装していたが、仕様に沿った実装にしたい。 マッチングとか適当にやると痛い目を見るので、落ち着いて困難を分割していこうと思う。 マクロ？ マクロが使われている一例。 and をマクロで定義。 …