[Haskell-cafe] Typed TH

[Tom Ellis]

On Thu, Dec 18, 2014 at 06:02:45PM +0100, Christopher Done wrote:
> http://lpaste.net/116791
> 
> 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