Add draft as regression tests #14413
Conversation
Draft higher order quoted expressions.
nicolasstucki
force-pushed
the
draft-higher-order-expressions
branch
from
d957ec6 to
ab81d47
Compare
| // Splicing can only be done on Expr[_ <: Any]. | ||
| // `apply methods on higher order expression provide a way to replace the unbound variables. | ||
|
|
||
| // This can be used for HOAS quoted patterns to not return a lambda. |
There was a problem hiding this comment.
Add a link to https://en.wikipedia.org/wiki/Higher-order_abstract_syntax ? It helped me understand what was going on in this example :).
There was a problem hiding this comment.
Added the link to this paragraph in the GPCE paper. There might be some information that is also useful before that.
| // This can be used for HOAS quoted patterns to not return a lambda. | ||
| // The use would be the same as each higher order expression would have an apply method. | ||
| // But as it would be an expression, the expression would showable. | ||
| // The expression could also be directly transformed into a Term of the reflection API. |
There was a problem hiding this comment.
You mean, we could have a Term with holes? How would that work?
There was a problem hiding this comment.
Not no holes in the sense of the Hole AST. It would contain references to unbound variables in the current scope. We should probably also have a way to list the symbols of those variables to be able to identify them when reflecting on the AST. I still need to figure out what is the best way to encode this internally.
There was a problem hiding this comment.
It would contain references to unbound variables in the current scope.
So what can we do with such a term? I thought translating from an Expr to a Term should always produce a valid hygiienic tree.
Draft higher order quoted expressions.