18 Dec
2014
18 Dec
'14
12:43 p.m.
On Thu, Dec 18, 2014 at 06:02:45PM +0100, Christopher Done wrote:
If someone feels like spending time exploring this and putting it in a library I will be interested in trying it. I saw some old work to patch GHC to do this including typed quotation of expressions, which doesn't seem to have arrived.
This is a great idea and looks very useful, which raises the following question: Why hasn't this already been done? Is there some fundamental obstruction? Perhaps someone who has tried this has some wisdom to share. Tom