Yeah, macros are expanded as part of compilation in lisps. However, lisps blur the distinction between run-time and compile-time somewhat because you usually c

Yeah, macros are expanded as part of compilation in lisps. However, lisps blur the distinction between run-time and compile-time somewhat because you usually connect your development environment to a running system while developing (it’s somewhat like using a debugger in other languages.) and I, at least, develop the initial version of a new function in the REPL before copying it into my source code, generalizing it and writing tests: so, for the most part, I will see the runtime type errors during development just as if I had been using a compiler/IDE to check the types.