Tour of a pattern matcher: expression and pattern expansion

I’ve posted a lot on Mastodon (and a little bit here ) about the adventures I’ve had implementing an extensible pattern matcher in Scheme . Well, the SRFI isn’t too far off finalization now, and the implementation is unlikely to change dramatically, so I reckoned it might be worthwhile to take readers on a tour of how the implementation works: for one thing, for those who want to be able to dive…