Macros typically have limited scope compared to a compiler, and tend to operate locally. Also, macros typically do not carry state between macro instantiations

Macros typically have limited scope compared to a compiler, and tend to operate locally. Also, macros typically do not carry state between macro instantiations. As such, with a macro it would be very hard to eliminate null from the language. Therefore, we need compilers.