[Haskell-cafe] Typed TH

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Thu Dec 18 17:43:14 UTC 2014

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.


More information about the Haskell-Cafe mailing list