diff --git a/docs/docs/reference/metaprogramming/toc.md b/docs/docs/reference/metaprogramming/toc.md index d28e5ed59fd9..188f82e759de 100644 --- a/docs/docs/reference/metaprogramming/toc.md +++ b/docs/docs/reference/metaprogramming/toc.md @@ -28,17 +28,17 @@ introduce the following fundamental facilities: 3. [Staging](./staging.md) Where macros construct code at _compile-time_, staging lets programs construct new code at _runtime_. That way, code generation can depend not only on static data but also on data available at runtime. This splits the evaluation of the program in two or more phases or ... - stages. Consequently, this method generative programming is called "Multi-Stage Programming". Staging is built on the same foundations as macros. It uses + stages. Consequently, this method of generative programming is called "Multi-Stage Programming". Staging is built on the same foundations as macros. It uses quotes and splices, but leaves out `inline`. 4. [TASTy Reflection](./tasty-reflect.md) Quotations are a "black-box" representation of code. They can be parameterized and composed using splices but their structure cannot be analyzed from the outside. Tasty reflection gives a way to analyze code structure by partly revealing the representation type of a piece of code in a standard API. The representation - type is a form of typed abstract syntax tree, which gives rise to the "TASTy` + type is a form of typed abstract syntax tree, which gives rise to the `TASTy` moniker. 5. [TASTy Inspection](./tasty-inspect.md) Typed abstract syntax trees are serialized - in a custom compressed binary format in `.tasty` files. TASTy inspection allows + in a custom compressed binary format stored in `.tasty` files. TASTy inspection allows to load these files and analyze their content's tree structure.