Template Haskell working group

Simon Peyton Jones simonpj at microsoft.com
Fri Jun 26 14:38:04 UTC 2015

Thanks Richard, that's great.

How about starting  a Template Haskell status wiki page, along the lines of

*         The lists of tickets on these status pages are auto-generated, so you could do the same to list open TH tickets.

*         Then in manual commentary at the top you can describe any plans, ideas, links to work in progress.

*         You can also identify yourself (and any other co-leaders) as someone to ask.

Anything to give someone a better place to start than "hunt through all the tickets".

You could link to the page from https://ghc.haskell.org/trac/ghc/wiki/Status


From: Richard Eisenberg [mailto:eir at cis.upenn.edu]
Sent: 26 June 2015 13:19
To: Simon Peyton Jones
Cc: ghc-devs
Subject: Re: Template Haskell working group

Hi Simon,

I'm happy to take this on. Through `singletons`, I am a heavy TH user and know that end of GHC well.

The one caveat I offer is that I vastly prefer to chunk up similar bits of work, and generally intend to let TH tickets languish until I sweep them all up, somewhere near the planned feature freeze. The plus side of this approach is that it gives oodles of time for new contributors to GHC to take a stab. As I've commented on Trac, TH is a fantastic way to introduce yourself to GHC hacking. Small enhancements to TH generally involve only a few files and have a predictable pattern.

So, do get involved! I'll help along the way.

In any case, I'll continue to monitor TH's overall evolution.


On Jun 26, 2015, at 3:55 AM, Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:

I'm looking for someone, or a small group, to act as a Supreme Being for Template Haskell.  Might you be willing?
There is a steady trickle of bug reports / feature requests relating to Template Haskell, which I find that I simply don't have the time to pay proper attention to.  Here is a recent example http://ghc.haskell.org/trac/ghc/ticket/10572.   But if no one pays attention, they languish.
None of them is very hard, but all require a little careful thought.  What should the Template Haskell API be like?  What semantics do we want?
My hope is that if someone, or a small group, felt mandated to push TH forward, then we might make some progress.  At the moment I have the uneasy feeling that while everyone can make suggestions, it's all waiting for SPJ to decide something, and SPJ is not paying enough attention.  I don't want to be a bottleneck.  Moreover, since I'm not a heavy-duty TH user, I'm poorly placed to make design choices.
The reason I'm optimistic is because the steady trickle tells me that TH is in fact highly valued and widely used.  So perhaps among that group there are some people who would be willing to debate alternative designs, make choices, and implement them.
I would be more than willing to act as consultant, both on design and implementation.
GHC absolutely relies on its community.   Please consider making an offer to help.   Thanks!
ghc-devs mailing list
ghc-devs at haskell.org<mailto:ghc-devs at haskell.org>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20150626/2aa90ef3/attachment-0001.html>

More information about the ghc-devs mailing list