Notes
2025/07/26

RC week 10: reasonable macros through explicit bindings

Another week, another paper at the Recurse Center, focused on macros (and already implemented in Kombucha). This time without a specific workshop in mind, more as an exercise to collect the macro explorations from the previous weeks in one place and abstract it a bit from the specific system used in Kombucha. Here's the abstract:

We present macros that can be statically reasoned about without requiring a macro expansion phase. This is achieved by distinguishing variables that are being bound from variables that are being used, in combination with explicit block scopes. The resulting macro system enables local reasoning, by supporting local evaluation without requiring full knowledge of the macros in scope.

Here's the paper.