[Haskell-cafe] Typed TH
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:
> 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