The title says writing compilers, not using compilers. It's almost the case of "one compiler to rule them all", though IMO pervasive changes (like adding a typ

The title says writing compilers, not using compilers. It's almost the case of "one compiler to rule them all", though IMO pervasive changes (like adding a type system) are better done at the compiler-level rather than the macro-level.