This is an overview/discussion on the current problems with quotes and splices and a potential solution that would also make them fully compatible with TASTy
reflect (not seal
/unsleal
).
In this section, we will have an overview of how quotations scopes work and interact with the low level tasty
API.
We have four basic concepts
Expr[T]
: Represents an expression of typeT
. It is a wrapper around the AST of the expression.Type[T]
: Represents the typeT
. It is a wrapper around the AST containing the type.QuoteContext
: Materialization of the current scope of expression. It also contains thetasty
API.