29 Jul
2003
29 Jul
'03
3:17 a.m.
On Sun, 27 Jul 2003, Tim Sheard wrote:
At 08:22 AM 7/23/2003 +1000, you wrote:
So correct me if I am wrong. Quasi-quoatation is not reification because quasi-quoted code is not a data structure, it is simply another form of expression.
Quasi quoted code is sort of special. It is both a data structure and a delayed expression. When I talk of reification, I mean a way to turn a value into a quoted piece of code.
reify (pred . succ) ---> [| \ x -> x |]
This is not possible in MetaML.
Can one do case analysis on the structure of quasi-quoted code however? Sean