[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?
Thanks,
Greg
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