From: Matthew Flatt (mflatt at cs.utah.edu) Date: Fri Jul 25 01:22:53 EDT 2014 |
|
At Thu, 24 Jul 2014 21:24:20 -0400, "Alexander D. Knauth" wrote: > How can I make an identifier that will have a certain binding no matter what > phase level it's referenced at? That's not currently possible. > For example if I’m making a reader extension that will produce a lambda > expression, how do I make it so that the lambda expression will be able to > exist at any phase level? I don't know. I've been offering elaborations of this problem --- the question of expressive reader extensions --- as a potential research topic to my students for many years. No takers, yet. :)
Posted on the users mailing list. |
|