Yes, Racket is quite similar, perhaps with more steps (but I guess you also simplified the steps in SBCL). It's something like 20 steps, but let's keep it short

Yes, Racket is quite similar, perhaps with more steps (but I guess you also simplified the steps in SBCL). It's something like 20 steps, but let's keep it short: Racket ---expand the macros---> Simplified Racket "Kernel" Simplified Racket "Kernel"---schemify---> Rumble (that is Chez Scheme + a few libraries and macros) Rumble ---expand the macros---> Simplified Chez Scheme Simplified Chez Scheme ---constants propagation/folding/other---> Simplified Chez Scheme Simplified Chez Scheme ---compiler---> native code You can see the result with https://pkgs.racket-lang.org/package/disassemble https://pkgs.racket-lang.org/package/disassemble