[Haskell-cafe] Template Haskell: onward and upward

Gregory Crosswhite gcross at phys.washington.edu
Mon Oct 18 18:20:19 EDT 2010

  Since you are proposing creating an abstract type TExp that can't be 
created manually in contrast to Exp, I have a question that might simply 
be a reflection of ignorance on my part on how TH works now.

As far as I can tell by looking through the documentation, when I want 
to create an identifier with a computed name I have to build up the AST 
manually rather than by using quoters since there is no way to splice an 
identifier name into a quoter.  Does this mean that it will not be 
possible to construct a TExp with a computed identifier name, since one 
can only use the quoter syntax and not manual construction?


On 10/18/10 3:02 PM, Simon Peyton-Jones wrote:
> Folks
> Following lots of feedback from users, especially at ICFP, I've 
> evolved some proposals for Template Haskell, that should make it both 
> more expressive, and more secure.
> http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal
> Do let me know what you think.  Discussion by email is fine (cc me if 
> it's on Haskell-cafe), or comments direct on the Trac.
> (None of this will be in GHC 7.0; it's a proposed plan for 
> post-release improvements.)
> Thanks
> Simon
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20101018/8f4d9aed/attachment.html

More information about the Haskell-Cafe mailing list