Matthew Butterick
Matthew Butterick
I’ve been wanting to add a tutorial about metalanguages to _Beautiful Racket_. But this issue has puzzled me. > There are two obvious ways to fix this problem. The first...
FWIW I think this PR edges into the broader question of how to compose `#lang`s — which is interesting and largely unexplored. Should it be possible? Seems like it. How?...
Sorry to be a moron, but if you refined the idea behind `#%namespaced` to use, say, identifier renaming rather than scopes — wouldn’t you end up with a solution compatible...