<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Done, at TemplateHaskell/Status.</div><div><br></div><div>If any dev out there has plans for changes to TH, please link to these changes from TemplateHaskell/Status. I don't believe there are any currently afoot, but please do correct me if I'm wrong.</div><div><br></div><div>Thanks!</div><div>Richard</div><br><div><div>On Jun 26, 2015, at 10:38 AM, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div class="WordSection1" style="page: WordSection1; "><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">Thanks Richard, that’s great.<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">How about starting a Template Haskell status wiki page, along the lines of<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; text-indent: 36pt; "><span style="font-family: Calibri, sans-serif; "><a href="https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.12.1" style="color: purple; text-decoration: underline; ">https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.12.1</a><o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; text-indent: 36pt; "><span style="font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0cm 0cm 0.0001pt 36pt; font-size: 12pt; font-family: 'Times New Roman', serif; text-indent: -18pt; "><span style="font-family: Symbol; "><span>·<span style="font-style: normal; font-variant: normal; font-weight: normal; font-size: 7pt; line-height: normal; font-family: 'Times New Roman'; "> <span class="Apple-converted-space"> </span></span></span></span><span style="font-family: Calibri, sans-serif; ">The lists of tickets on these status pages are auto-generated, so you could do the same to list open TH tickets.<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt 36pt; font-size: 12pt; font-family: 'Times New Roman', serif; text-indent: -18pt; "><span style="font-family: Symbol; "><span>·<span style="font-style: normal; font-variant: normal; font-weight: normal; font-size: 7pt; line-height: normal; font-family: 'Times New Roman'; "> <span class="Apple-converted-space"> </span></span></span></span><span style="font-family: Calibri, sans-serif; ">Then in manual commentary at the top you can describe any plans, ideas, links to work in progress. <o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt 36pt; font-size: 12pt; font-family: 'Times New Roman', serif; text-indent: -18pt; "><span style="font-family: Symbol; "><span>·<span style="font-style: normal; font-variant: normal; font-weight: normal; font-size: 7pt; line-height: normal; font-family: 'Times New Roman'; "> <span class="Apple-converted-space"> </span></span></span></span><span style="font-family: Calibri, sans-serif; ">You can also identify yourself (and any other co-leaders) as someone to ask.<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">Anything to give someone a better place to start than “hunt through all the tickets”.<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">You could link to the page from<span class="Apple-converted-space"> </span><a href="https://ghc.haskell.org/trac/ghc/wiki/Status" style="color: purple; text-decoration: underline; ">https://ghc.haskell.org/trac/ghc/wiki/Status</a><o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">Simon<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; "> </span></div><div style="border-style: none none none solid; border-left-width: 1.5pt; border-left-color: blue; padding: 0cm 0cm 0cm 4pt; "><div><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0cm 0cm; "><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><b><span lang="EN-US" style="font-size: 11pt; font-family: Calibri, sans-serif; ">From:</span></b><span lang="EN-US" style="font-size: 11pt; font-family: Calibri, sans-serif; "><span class="Apple-converted-space"> </span>Richard Eisenberg [mailto:eir@<a href="http://cis.upenn.edu">cis.upenn.edu</a>]<span class="Apple-converted-space"> </span><br><b>Sent:</b><span class="Apple-converted-space"> </span>26 June 2015 13:19<br><b>To:</b><span class="Apple-converted-space"> </span>Simon Peyton Jones<br><b>Cc:</b><span class="Apple-converted-space"> </span>ghc-devs<br><b>Subject:</b><span class="Apple-converted-space"> </span>Re: Template Haskell working group<o:p></o:p></span></div></div></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; ">Hi Simon,<o:p></o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; ">I'm happy to take this on. Through `singletons`, I am a heavy TH user and know that end of GHC well.<o:p></o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; ">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.<o:p></o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; ">So, do get involved! I'll help along the way.<o:p></o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; ">In any case, I'll continue to monitor TH's overall evolution.<o:p></o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div></div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; ">Richard<o:p></o:p></div></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div><div><div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; ">On Jun 26, 2015, at 3:55 AM, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" style="color: purple; text-decoration: underline; ">simonpj@microsoft.com</a>> wrote:<o:p></o:p></div></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><br><br><o:p></o:p></div><blockquote style="margin-top: 5pt; margin-bottom: 5pt; "><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">Friends</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">I’m looking for someone, or a small group, to act as a Supreme Being for Template Haskell. Might you be willing?</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">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<span class="apple-converted-space"> </span></span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><a href="http://ghc.haskell.org/trac/ghc/ticket/10572" style="color: purple; text-decoration: underline; "><span style="color: rgb(149, 79, 114); ">http://ghc.haskell.org/trac/ghc/ticket/10572</span></a>. <span class="apple-converted-space"> </span></span><span style="font-family: Calibri, sans-serif; ">But if no one pays attention, they languish.</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">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?</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">My hope is that if someone, or a small group, felt<span class="apple-converted-space"> </span><i>mandated</i><span class="apple-converted-space"> </span>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.</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">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.</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">I would be more than willing to act as consultant, both on design and implementation.</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">GHC absolutely relies on its community. Please consider making an offer to help. Thanks!</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><p class="MsoNormal" style="margin: 0cm 0cm 6pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; ">Simon</span><span style="font-size: 11pt; font-family: Calibri, sans-serif; "><o:p></o:p></span></p><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif; ">_______________________________________________<br>ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org" style="color: purple; text-decoration: underline; "><span style="color: rgb(149, 79, 114); ">ghc-devs@haskell.org</span></a><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" style="color: purple; text-decoration: underline; "><span style="color: rgb(149, 79, 114); ">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</span></a><o:p></o:p></span></div></blockquote></div><p class="MsoNormal" style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "></p></div></div></div></blockquote></div><br></body></html>