Tying AST and Macros Together

We’ve seen how Elixir itself is built with macros and how to use quote to return the AST representation of any expression in the previous section. Now, let’s fit the pieces together. The most important takeaway is that macros receive ASTs as arguments and provide ASTs as return values. By writing macros, we build ASTs using Elixir’s high-level syntax.

For example, when calculating a result, we will write a macro that can print the spoken form of an Elixir mathematical expression, such as 5 + 2. Before moving to the example, let’s see the ASTs of some simple expressions.