How would you design a Julia-based compiler pipeline for a custom scientific DSL?

You combine macros, staged lowering, type inference, and LLVM-friendly IR transformations.

A DSL in Julia begins with macro parsing into AST transformations. This is lowered into Julia IR, where type inference and specialization occur. Finally, LLVM generates optimized machine code. Each stage allows domain-specific optimization such as algebraic simplification or loop fusion.