I think you end up needing macros even in statically typed languages to make it convenient. Even the nanopass framework uses macros to define the different repr

I think you end up needing macros even in statically typed languages to make it convenient. Even the nanopass framework uses macros to define the different representations.