Cross posting from Discord:

Re-reading Matthias’s On the expressive power of programming languages and have a question:

Macros in Scheme allows users to dissect sub-syntax. It looks like Definition 2.3 does not allow this, am I right?

My real question is, consider a feature M where (M <e>) traverses <e> and replaces all constant 1 with 2. Is PureScheme + M more expressive than PureScheme? Arguably, the transformation M seems to be “local” enough.

Is there a way to make a shared library and ideally some c header files out of a racket program?

I was thinking something similar to https://github.com/quil-lang/sbcl-librarian

for posterity: I found this (but havent tried it yet) https://www.cs.utah.edu/plt/snapshots/current/doc/inside/cs-embedding.html